Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей-известные специалисты: Дж. Бэкус, Д. Оппен, Д. Скотт (США), Дж. Р. Хиндли, С. Л. Пейтон Джоунз (Англия). Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.
Author(s): Захарьящев М.В., Янов Ю.И. (ред)
Series: Математическое обеспечение ЭВМ
Publisher: Мир
Year: 1991
Language: Russian
Commentary: обрезал поля
Pages: 409
City: Москва
Предисловие редакторов перевода 5
Дж. Бэкус. Алгебра функциональных программ: мышление функционального
уровня, линейные уравнения и обобщенные определения. Перевод МанциводыА. А 8
Дополнение переводчика 54
Д. С. Скотт. Области в денотационной семантике. Перевод Воронкова А. А. 56
Дж. Р. Хиндли. Комбинаторы и лямбда-исчисления. Краткий обзор. Перевод Найдича Д.Э. 119
С. Л. Пейтон Джоунз. Введение в суперкомбинаторы для вполне задержанных вычислений. Перевод Антимирова В. М. 141
Ж. Юз, Д. Оппен. Равенства и правила переписывания. Обзор. Перевод Дегтярёва А. И. 176
Д. Миллер. Логический анализ модулей в логическом программировании. Перевод Воронкова А. А 233
Дж. А. Гоген, Ж. Мезегер. Модели и равенство в логическом Программировании. Перевод Антимирова В. М. 274
К. А. Гоуд. Доказательства как описания вычислений. Перевод Воронкова А. А 311
В. М. Антимиров, А. А. Воронков, А. И. Дегтярёв, М. В. Захарьящев,
В. С. Проценко. Математическая логика в программировании. Обзор 331
