×

zbMATH — the first resource for mathematics

The categorical abstract machine. (English) Zbl 0634.68078
A very simple machine called categorical abstract machine (CAM) is described where categorical terms can be considered as a code acting on a graph of values. The only saving mechanism is a stack containing pointers on code or on the graph. Further, there is discussed the implementation of functional programming languages with static binding variables, i.e. \(\lambda\)-calculus based languages.
Reviewer: V.Kurkova-Pohlova

MSC:
68Q45 Formal languages and automata
18B20 Categories of machines, automata
03B40 Combinatory logic and lambda calculus
18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)
PDF BibTeX XML Cite
Full Text: DOI