School of Computing

Native code generation using the transterpreter

Christian L. Jacobsen, Damian J. Dimmich, and Matthew C. Jadud

In P. H. Welch, J. Kerridge, and F.R.M Barnes, editors, Communicating Process Architectures 2006: WoTUG-29, volume 29 of Concurrent Systems Engineering Series, pages 182-196, Amsterdam, The Netherlands, September 2006. Communicating Process Architectures 2006, IOS Press.

Abstract

We are interested in languages that provide powerful abstractions for concurrency and parallelism that execute everywhere, efficiently. Currently, the existing runtime environments for the occam-pi programming language provide either one of these features (portability) or some semblance of the other (performance). We believe that both can be achieved through the careful generation of C from occam-pi, and demonstrate that this is possible using the Transterpreter, a portable interpreter for occam-pi, as our starting point.

Download publication 200 kbytes (PDF)

Bibtex Record

@inproceedings{2454,
author = {Christian L. Jacobsen and Damian J. Dimmich and Matthew C. Jadud},
title = {Native Code Generation Using the Transterpreter},
month = {September},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2006/2454},
    series = {Concurrent Systems Engineering Series},
    submission_id = {721_1163452296},
    editor = {P. H. Welch and  J. Kerridge and F.R.M Barnes},
    ISBN = {1-58603-671-8},
    volume = {29},
    address = {Amsterdam, The Netherlands},
    organization = {Communicating Process Architectures 2006},
    publisher = {IOS Press},
    ISSN = {1383-7575},
    publication_type = {inproceedings},
    booktitle = { Communicating Process Architectures 2006: WoTUG-29},
}

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

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

Last Updated: 21/03/2014