3660 search results - page 135 / 732 » Parallel Program Archetypes |
164
click to vote
ARTS
1999
Springer
15 years 9 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
118
click to vote
EUROPAR
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
144
click to vote
ECOOPW
2001
Springer
15 years 9 months ago
2001
Springer
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
181
click to vote
ECOOPW
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents a reflective architecture and an implemented prototype that supports aspect oriented programming in Smalltalk. The aspects are metaobjects which are weaved dyn...
146
click to vote
ECOOPW
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...