Skip to main content
Kent Academic Repository

User-defined data types and operators in occam

Wood, David C. and Moores, James (1999) User-defined data types and operators in occam. In: Cook, Barry M., ed. Proceedings of WoTUG-22: Architectures, Languages and Techniques for Concurrent Systems. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 121-146. ISBN 90-5199-480-X. (KAR id:16765)


This paper describes the addition of user-defined monadic and dyadic operators to occam* [1], together with some libraries that demonstrate their use. It also discusses some techniques used in their implementation in KRoC [2] for a variety of target machines.

Item Type: Book section
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: F.D. Zabet
Date Deposited: 14 Mar 2009 19:57 UTC
Last Modified: 16 Nov 2021 09:54 UTC
Resource URI: (The current URI for this page, for reference purposes)

University of Kent Author Information

Wood, David C..

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.