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

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.)
Full Text: DOI