126 search results - page 4 / 26 » Deriving Compilers and Virtual Machines for a Multi-level La... |
122
click to vote
FMICS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Safe is a first-order functional language with unusual memory management features: memory can be both explicitly and implicitly deallocated at some specific points in the...
103
click to vote
SAC
2006
ACM
15 years 1 months ago
2006
ACM
The second-class formulation of generics in Java 5.0 discards generic type information during compilation. As a result, Java 5.0 prohibits run-time type-dependent operations, gene...
127
click to vote
PPDP
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
110
click to vote
IFL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
129
click to vote
FAC
2010
15 years 9 days ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...