678 search results - page 56 / 136 » A simple typed intermediate language for object-oriented lan... |
HASKELL
2007
ACM
14 years 20 days ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
ICFP
2002
ACM
14 years 8 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
EACL
1989
ACL Anthology
13 years 10 months ago
1989
ACL Anthology
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...
TLDI
2003
ACM
14 years 2 months ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...