3056 search results - page 281 / 612 » Compiling Embedded Languages |
99
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
Since software is playing an increasingly important role in systemon-chip, retargetable compilation has been an active research area in the last few years. However, the retargetti...
114
click to vote
CC
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
104
click to vote
POPL
1997
ACM
15 years 6 months ago
1997
ACM
As parallel machines become part of the mainstream computing environment, compilers will need to apply synchronization optimizations to deliver e cient parallel software. This pap...
122
click to vote
POPL
1996
ACM
15 years 6 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...
148
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...