3056 search results - page 43 / 612 » Compiling Embedded Languages |
PLDI
1994
ACM
14 years 4 days ago
1994
ACM
ASPLOS
1987
ACM
13 years 11 months ago
1987
ACM
AMAST
2000
Springer
14 years 12 days ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
ACL2
2006
ACM
14 years 2 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
LCPC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...