The categorical abstract machine
type: Item
instance of: scholarly article
title: The categorical abstract machine
zbMATH Open document ID: 0634.68078
DOI: 10.1016/0167-6423(87)90020-7
published in: Science of Computer Programming
publication date: 1987-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 18B20
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 4033117
zbMATH Keywords: Cartesian closed category
zbMATH Keywords: categorical abstract machine
zbMATH Keywords: functional programming languages
zbMATH Keywords: \(\lambda \)-calculus
author: Guy Cousineau
author: Pierre-Louis Curien
author: Michel Mauny
reviewed by: Véra Kůrková-Pohlová
MaRDI profile type: Publication
full work available at URL: 0167-6423(87)90020-7
OpenAlex ID: W1963658586
Recommended article: Q3721820
Recommended article: Categorical abstract machines for higher-order typed \(\lambda\)-calculi
Recommended article: Q3347306
Recommended article: The Categorical Multi-Combinator Machine: CMCM
Recommended article: Abstracting abstract machines
Recommended article: A categorical framework for finite state machines
Recommended article: A categorial approach to the theory of computation
Recommended article: Q3480250
Recommended article: Abstract λ-Calculus Machines
Recommended article: A categorical understanding of environment machines
description: scientific article; zbMATH DE number 4033117