School of Computing

Gammacmc: A novel way of compiling functional languages

Rafael D Lins and Bruno O Lira

Technical Report 19-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, July 1992.

Abstract

The efficient compilation of functional languages has been shown to be a difficult task. The most successful implementations so far generate code in assembly language. This makes implementation extremely hard and machine dependent. In this paper we present Gamma CMC, a new abstract machine, in which we transfer the control of the execution flow to C, as much as possible. Gamma CMC takes advantage of the extremely low costs of procedure calls in modern RISC architectures. This produces a substantial improvement in performance, as we show here.

Published in: UKC Lab.Report 7/92 (Submitted to Journal of Programming Languages Design and Imp.) (A short version of this paper will appear as Gamma CMC: Fast lazy functional languages Microprocessing & Microprogramming, April/93)

Download publication 107 kbytes

Bibtex Record

@techreport{113,
author = {Rafael D Lins and Bruno O Lira},
title = {GammaCMC: A Novel Way of Compiling Functional Languages},
month = {July},
year = {1992},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1992/113},
    address = {University of Kent, Canterbury, UK},
    hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/19-92},
    hensa_ftpaddress = {unix.hensa.ac.uk},
    hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/19-92.ps.Z},
    institution = {University of Kent, Computing Laboratory},
    number = {19-92*},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014