3713 search results - page 536 / 743 » Constructing a Calculus of Programs |
146
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
The problem of writing high performance parallel applications becomes even more challenging when irregular, sparse or adaptive methods are employed. In this paper we introduce com...
158
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
143
click to vote
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
164
click to vote
GSEM
2004
Springer
15 years 8 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
118
click to vote
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
There are a number of technologies designed to improve modularity in software systems. The technique presented here combines two of them seamlessly to exploit their respective ben...