3827 search results - page 342 / 766 » The Epsilon Generation Language |
168
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. Fast dynamic compilers trade code quality for short compilation time in order to balance application performance and startup time. This paper investigates the interplay o...
171
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
243
click to vote
FPLE
1995
15 years 10 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...
131
click to vote
ASPLOS
1987
ACM
15 years 10 months ago
1987
ACM
The VAX 8800 family (models 8800, 8700, 8550), currently the fastest computers in the VAX product line, achieve their speed through a combination of fast cycle time and deep pipel...
169
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...