© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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*}, }