W. Chutimaskul
Generic Matrices in occam3(e)
Chutimaskul, W.; Kerridge, J.
Authors
J. Kerridge
Abstract
The possibility of enhancing the occam3 type system to support genericity for the purpose of reusability can be realised by means of user-defined parameterised types (UPTs) and overloading. A UPT is a mechanism for the reuse of data types and is employed for building a generic matrix as an extension to occam3 (occam3(e)). A matrix can be of any data type, either base data types or user-defined data types (UDTs). The work concentrates on a matrix of type complex number. The concept of overloading is also applied to operations on a matrix. Since the design is based on occam3, which is not yet available for use, the transformation of occam3(e) code to occam2 code is achieved by means of a type model, proformas and a pre-processor.
Citation
Chutimaskul, W., & Kerridge, J. (1994, October). Generic Matrices in occam3(e). Presented at NATUG-7: Seventh Conference of the North American Transputer Users Group, Atlanta, GA
Presentation Conference Type | Conference Paper (published) |
---|---|
Conference Name | NATUG-7: Seventh Conference of the North American Transputer Users Group |
Start Date | Oct 23, 1994 |
End Date | Oct 25, 1994 |
Publication Date | 1995 |
Deposit Date | Jul 24, 2019 |
Publisher | IOS Press |
Pages | 255 |
Book Title | Transputer Research and Applications 7 (NATUG-7): Proceedings of the Seventh Conference of the North American Transputer Users Group |
Chapter Number | 24 |
ISBN | 9051991878 |
Keywords | occam3(e); parameterised type; overloading; matrix; complex number; pre-processor |
Public URL | http://researchrepository.napier.ac.uk/Output/1992722 |
You might also like
An aspect-oriented component-based approach to seamless web service composition
(2007)
Journal Article
Process discovery in highly parallel distributed systems.
(2014)
Presentation / Conference Contribution
Verifying the CPA Networking Stack using SPIN/Promela.
(2013)
Presentation / Conference Contribution
A dynamic connection capability for pervasive adaptive environments using JCSP
(2009)
Presentation / Conference Contribution
Downloadable Citations
About Edinburgh Napier Research Repository
Administrator e-mail: repository@napier.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search