Dimmich, Damian J. and Jacobsen, Christian L. (2005) A Foreign Function Interface Generator for occam-pi. In: Broenink, Jan F. and Roebbers, H. and Sunter, J. and Welch, Peter H. and Wood, D., eds. Communicating Process Architectures 2005. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 235-248. ISBN 978-1-58603-561-7. E-ISBN 978-1-60750-144-2. (KAR id:14268)
PDF
Language: English |
|
Download this file (PDF/259kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader |
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.
Item Type: | Book section |
---|---|
Uncontrolled keywords: | occam-pi, SWIG, ocinf |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Mark Wheadon |
Date Deposited: | 24 Nov 2008 18:02 UTC |
Last Modified: | 05 Nov 2024 09:48 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/14268 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):