|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Формальные модели программ и языков программирования. Часть 1. Библиографический обзор 1930—1989 ггстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Васенин В.А., Кривчиков М.А.
- Журнал: Программная инженерия
- Номер: 5
- Год издания: 2015
- Издательство: Новые технологии
- Местоположение издательства: Москва
- Первая страница: 10
- Последняя страница: 19
- Аннотация: Статья содержит обзор и критический анализ научных публикаций с 1932 по 1989 г., тематика которых включает формальные модели вычислений, программ и языков программирования, в том числе работы по формальной верификации. Обзор выполнен в контексте истории появления и развития языков программирования, с учетом эволюции средств вычислительной техники и методов программной инженерии. Областью особого интереса является эволюция подходов к описанию вычислений в терминах различных разновидностей λ-исчисления.
- Добавил в систему: Кривчиков Максим Александрович