School of Computing

Some performance figures for the g-machine and its optimisations

P G Soares and R D Lins

Technical Report 21-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1992.

Abstract

Johnsson's G-Machine is a major achievement in the efficient implementation of lazy functional languages. In this paper we provide figures of time and space performance of the original G-Machine and each optimisation step. The figures presented not only help to understand the G-machine, but can also serve as a basis for choosing which optimisations to use in a different machine for the implementation of lazy functional languages.

To appear in: Microprocessing & Microprogramming North-Holland, April 1993.

Download publication 42 kbytes

Bibtex Record

@techreport{115,
author = {P G Soares and R D Lins},
title = {Some Performance Figures for the G-Machine and its Optimisations},
month = {September},
year = {1992},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1992/115},
    address = {University of Kent, Canterbury, UK},
    hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/21-92},
    hensa_ftpaddress = {unix.hensa.ac.uk},
    hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/21-92.ps.Z},
    institution = {University of Kent, Computing Laboratory},
    number = {21-92*},
}

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

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

Last Updated: 21/03/2014