Категоріальна абстрактна машина

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Категоріальна абстрактна машина (англ. 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.