487 search results - page 3 / 98 » Code Composition as an Implementation Language for Compilers |
113
click to vote
FPLE
1995
15 years 1 months ago
1995
This paper describes a course in compiler design that focuses on the Scheme implementation of a Scheme compiler that generates native assembly code for a real architecture. The co...
106
click to vote
FPCA
1993
15 years 1 months ago
1993
Five implementations of di erent lazy functional languages are compared using a common benchmark of a dozen medium size programs. The benchmarking procedure has been designed such...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
ENTCS
2006
14 years 9 months ago
2006
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...