RUS  ENG
Полная версия
ЖУРНАЛЫ // Итоги науки и техники. Серия «Теория вероятностей. Математическая статистика. Теоретическая кибернетика» // Архив
Итоги науки и техн. Сер. Теор. вероятн. Мат. стат. Теор. кибернет., 1983, том 20, страницы 95–166 (Mi intv55)
Семантика алгоритмических языков

Н. Н. Непейвода


Аннотация: Обзор способов формализации семантики языков программирования (алгоритмических языков и языков спецификаций). Основное внимание уделяется логическому подходу.
Библ. 466.

УДК: 519.765:591.682+519.766.2+519.767


 Англоязычная версия: Journal of Soviet Mathematics, 1984, 25:6, 1558–1606

Реферативные базы данных:

© МИАН, 2024