Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1987

Ключевые слова:

функциональный

программирование

архитектура

верификация

корректность

семантика

ламбда-исчисление

Стр.:

P.63-130.

Реферат:

Может ли программирование избавиться от фон Неймановского стиля? Функциональный стиль и его алгебра программ.

Место издания:

Источник:

ACM Turing Award Lectures. The First Twenty Years. 1966 to 1985

Карточка:

А3.31, Б3.21, Б2.23.

Backus J..

Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs-New York.// ACM Turing Award Lectures. The First Twenty Years. 1966 to 1985, 1987.-P.63-130.

Таблица в старой библиотеке:

PAP1 533