Compiling Functional Programs to Java Byte-code

  • Authors:
  • Gary Meehan

  • Affiliations:
  • -

  • Venue:
  • Compiling Functional Programs to Java Byte-code
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.