Techreport,

Target code generation from the G-machine code

.
39. Programming Methodology Group, University of Goteborg and Chalmers University of Technology, (February 1987)

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)

Tags

Users

  • @dparigot

Comments and Reviews