3056 search results - page 170 / 612 » Compiling Embedded Languages |
IFL
1997
Springer
15 years 2 months ago
1997
Springer
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding the repetition of the same computation. In lazy functional languages, referential...
131
click to vote
SBMF
2010
Springer
14 years 5 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
AOSD
2007
ACM
15 years 2 months ago
2007
ACM
Current implementations for aspect-oriented programming languages map the aspect-oriented concepts of source programs to object-oriented bytecode. This hinders execution environme...
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
We propose a Java-like language where class de nitions are rst class values, hence new classes can be derived from existing, rather than by a xed mechanism like inheritance, by e...
145
Voted
IFM
2010
Springer
14 years 8 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...