An imperative language based on distributive categories
- 1 June 1992
- journal article
- research article
- Published by Cambridge University Press (CUP) in Mathematical Structures in Computer Science
- Vol. 2 (3) , 249-256
- https://doi.org/10.1017/s0960129500001468
Abstract
It is the contention of the author that there is a preferred categorical structure appropriate for the analysis of imperative programming languages, namely the existence of finite sums and products and a distributive law of products over sums. An imperative language based on these operations is described.Keywords
This publication has 2 references indexed in Scilit:
- Data types in distributive categoriesBulletin of the Australian Mathematical Society, 1989
- Categories for the Working MathematicianPublished by Springer Nature ,1971