Категоріальна абстрактна машина (англ. categorical abstract machine) — це модель обчислення програми, в якій спостерегаються особливості апплікативного, функціонального або композиційного стиля. Вона підтримується технікою апплікативного обчислення.
Див. також
Література
- Cousineau G., Curien P.-L., Mauny M. The categorical abstract machine. — LNCS, 201, Functional programming languages computer architecture.-- 1985, pp.~50-64.
- Вольфенгаген В. Э. Категориальная абстрактная машина. Конспект лекций: введение в вычисления. — 2-е изд. — М: АО «Центр ЮрИнфоР», 2002. — 96 с ISBN 5-89158-102-7.