School of Computing

A Foreign Function Interface Generator for occam-pi

Damian J. Dimmich and Christan L. Jacobsen

In J. Broenink, H. Roebbers, J. Sunter, P. Welch, and D. Wood, editors, Communicating Process Architectures 2005, pages 182-196, Amsterdam, The Netherlands, September 2005. IOS Press.

Abstract

Abstract. occam-pi is a programming language based on the CSP process algebra and the pi-calculus, and has a powerful syntax for expressing concurrency. occam-pi does not however, come with interfaces to a broad range of standard libraries (such as those used for graphics or mathematics). Programmers wishing to use these must write their own wrappers using occam-pi?s foreign function interface, which can be tedious and time consuming. SWIG offers automatic generation of wrappers for libraries written in C and C++, allowing access to these for the target languages supported by SWIG. This paper describes the occam-pi module for SWIG, which will allow automatic wrapper generation for occam-pi, and will ensure that occam-pi?s library base can be grown in a quick and efficient manner. Access to database, graphics and hardware interfacing libraries can all be provided with relative ease when using SWIG to automate the bulk of the work.

Download publication 229 kbytes (PDF)

Bibtex Record

@inproceedings{2254,
author = {Damian J. Dimmich and Christan L. Jacobsen},
title = {{A} {F}oreign {F}unction {I}nterface {G}enerator for occam-pi},
month = {September},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2254},
    publication_type = {inproceedings},
    submission_id = {24763_1128190465},
    ISBN = {1-58603-561-4},
    booktitle = {Communicating Process Architectures 2005},
    editor = {J. Broenink and H. Roebbers and J. Sunter and P. Welch and D. Wood},
    address = {Amsterdam, The Netherlands},
    publisher = {IOS Press},
    ISSN = {1383-7575},
    refereed = {Yes},
}

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

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

Last Updated: 21/03/2014