10871 search results - page 411 / 2175 » A stable programming language |
197
click to vote
WCRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...
133
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
—Stream languages offer a simple multi-core programming model and achieve good performance. Yet expressing data rearrangement patterns (like a matrix block decomposition) in thes...
200
click to vote
PADL
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...