Distributed Execution of Functional Programs Using the JVM
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Compiling lazy functional programs for the Java Virtual Machine
Journal of Functional Programming
Hi-index | 0.00 |
The aim of the G-machine is to deconstruct a functional program, represented as a graph, into a list of linear instructions --- G-Code --- which, when executed, will construct an equivalent graph and reduce it into Weak Head Normal Form. The Java Virtual Machine (JVM) provides a machine-independent execution environment which executes Java byte-code. This byte-code is essentially a machine code for object-oriented programs. It was designed as the target of a Java compiler, but there is no reason why it cannot be used as the target of other languages. In this report we shall look at compiling functional programs down to the JVM, using the G-machine as a guide.