Generic Matrices in occam3(e)

Chutimaskul, W.; Kerridge, J.

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