УДК: 004.423.4

Формальные модели программ и языков программирования. Часть 1. Библиографический обзор 1930—1989 гг.

В. А. Васенин, д-р физ.-мат. наук, зав. лабораторией, e-mail: vasenin@msu.ru, М.А. Кривчиков, науч. сотр., e-mail: maxim.krivchikov@gmail.com, НИИ механики МГУ им. М. В. Ломоносова

Статья содержит обзор и критический анализ научных публикаций с 1932 по 1989 г., тематика которых включает формальные модели вычислений, программ и языков программирования, в том числе работы по формальной верификации. Обзор выполнен в контексте истории появления и развития языков программирования, с учетом эволюции средств вычислительной техники и методов программной инженерии. Областью особого интереса является эволюция подходов к описанию вычислений в терминах различных разновидностей -исчисления.

Ключевые слова: формальная верификация, языки программирования, предметно-ориентированные языки, формальная семантика программ, программная инженерия, библиография

Стр. 10–19