Abstract
G machine is a stack machine for von-Neumann-like execution of lazy
functional languages using graph reduction. Paper describes target
code generation from G-machine code in a compiler for lazy-ML. 2
methods: (a) generates naive code like macro expansion (b) better,
avoids redundant operations Code generation expressed as an attribute
grammar over G-machine code sequences. http://cs.chalmers.se/welcome.eng.html
(CSci Chalmers) ('94)
- 39,
- applicative,
- compile,
- compiler,
- functional,
- graph
- implementation,
- lazy
- lazy,
- lml,
- ml,
- pmg,
- programming,
- reduction,
- tr
- tr39,
- vari.fp
Users
Please
log in to take part in the discussion (add own reviews or comments).