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

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

Категоріальна абстрактна машина (англ. 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.
Отримано з https://uk.wikipedia.org/w/index.php?title=Категоріальна_абстрактна_машина&oldid=30176971