1. Булкин М.А., Габович Ю.Р., Пантелеев А.Г. Методические рекомендации по программированию и эксплуатации интерпретатора для алгоритмического языка ЛИСП в ОС ЕС. – Киев : НИИАСС, 1981. – 91 с.
2. Вольфенгаген В.Э., Гольцева Л.В. Аппликативные вычисления на основе комбинаторов
и λ-исчисления. – (Руководитель проекта “Аппливативные вычислительные системы” к.т.н.
Л.Ю. Исмаилова.) – М.: МИФИ, 1992. – 41 с.
Основы аппликативных вычислительных систем изложены элементарными средствами, что
обеспечивает студентов и аспирантов кратким и исчерпывающим руководством, которое может использоваться ‘для первого чтения’. Настоящее руководство в различных вариантах течение ряда лет использовалось для проведения практический занятий и лабораторных работ по
соответствующим разделам курса компьютерных наук. Охватываются вопросы использования
комбинаторов и λ-исчисления при реализации аппликативных вычислений. Приводится необходимый теоретический минимум, основное внимание уделено выполнению упражнений, иллюстрирующих применения основных вычислительных идей, понятий и определений. Для облегчения овладения предметом руководство снабжено простой обучающей программой, которая может использоваться в качестве вводного лабораторного практикума.
При практической работе
с обучающей программой следует иметь ввиду, что решение задач предполагает проведение дополнительных преобразований с целью оптимизации выражений, устранения в них переменных,
упрощения целевого исполняемого выражения. Аппликативные вычисления излагаются как набор таких методов и средств.
3. Вольфенгаген В.Э. Категориальная абстрактная машина.– М.:МИФИ, 1993. – 96 с.; – 2-е изд. – М.: АО “Центр ЮрИнфоР”, 2002. – 96 с. Работа содержит изложение базовых моделей вычислений, применяемых в компьютерных науках. Изложены основы λ-исчисления и комбинаторные исчисления. Основное внимание уделено подробному рассмотрению техники вычисления значения конструкций языков программирования, включая компилирование кода, его оптимизацию и исполнение на примере категориальной абстрактной машины. Изложение построено на примерах возрастающей сложности.
4. Вольфенгаген В.Э. Конструкции языков программирования. Приемы описания.– М.: АО “Центр ЮрИнфоР”, 2001. – 276 с.
В работе изложены основы, касающихся разработки, реализации и применения конструкций как
императивных, так и функциональных языков программирования. Значительное внимание уделяется применению денотационной семантики,
позволяющей в полной мере извлечь преимущества объектно-ориентированного подхода, что, в конечном счете, позволяет построить
результирующую вычислительную модель чисто функционального типа.
5. Вольфенгаген В.Э. Логика. Конспект лекций: техника рассуждений.– М.: АО “Центр
ЮрИнфоР”, 2001. – 137 с.; – 2-е изд. – М.: АО “Центр ЮрИнфоР”, 2004. – 229 с.
Последнее издание значительно переработано и расширено элементами техники семантических
рассуждений с применением классов и отношений, что особенно важно для работы с электронными
формами информации. Рассмотрены способы переформулирования текста фактического
типа на символьный язык, допускающий применение классических логических средств. Показаны
приемы и способы записи аргументации и проверки ее значимости. На большом числе примеров
проиллюстрирована техника логических рассуждений, выводов и доказательств. Отмечены
способы включения в вывод аннотаций (комментариев), пользуясь которыми можно проверить
истинность или установить ложность приводимых доводов.
6. Вольфенгаген В. Э. Комбинаторная логика в программировании. Вычисления с объекта-
ми в примерах и задачах. – М.: МИФИ, 1994. – 204 с.; 2-е изд., М.: АО «Центр ЮрИнфоР»,
2003. – 336 с.
Изложен основной круг задач, сводимых к исчислению объектов – “от простого к сложному”.
Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач.
В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и λ-исчисления. Все задачи снабжены подробными и элементарными
решениями.
7. Wolfengagen V.E. Combinatory logic in programming. – Moscow, “Center JurInfoR” Ltd., 2003. – 336 p.
8. Вольфенгаген В. Э. Методы и средства вычислений с объектами. Аппликативные вычислительные системы – М.: JurInfoR Ltd., «Центр ЮрИнфоР», 2004. – xvi+789 с.
Систематически рассмотрены модели, методы и средства, для которых центральной сущностью
является представление об объекте. Применен подход, основанный на использовании операций
аппликации и абстракции, что позволило выполнить замкнутое изложений техники аппликативных вычислений, оставаясь в рамках элементарных средств. Книга основана на материале, который в различных вариантах использовался для проведения занятий по соответствующим разделам курса компьютерных наук. Приводится необходимый теоретический минимум, соответствующий мировым стандартам, иллюстрируются основные вычислительные идеи, понятия и определения.
9. Wolfengagen V.E. Functional notation for indexed concepts. – In: Proceedings of The 9th International Workshop on Functional and Logic Programming WFLP’2000, Benicassim, Spain, September 28-30, 2000 http://www.dsic.upv.es/~wflp2000/
10. Wolfengagen V.E. Environment with state transitions for Web Information Systems: case study. – In: Proceedings of the 6-th International Conference on Information Integration and Web-based Application & Services (iiWAS’2004), Jakarta, Indonesia, September 27-29, 2004. – pp. 99-104.
11. Wolfengagen V.E. Environment with state transitions for Web Information Systems: case
study. – In: Proceedings of the 6th International Workshop on Computer Science and Information
Technologies CSIT’2004, Budapest, Hungary, October 17-19, 2004, pp. 77-86
Строится модель объектов данных/метаданных. Модель погружена в общую вычислительную
среду и имеет возможность учета переходов состояния. Использован интенсиональный подход, основанный на применении конструкции функтор-как-объект, моделирующей объекты данных/метаданных. Модель дает основу динамическим вычислениям, учитывая ‘состояния знания’. Обеспечивается чисто функциональная и аппликативная вычислительная среда.
Приводится анализ случаев построения концептов на основе конструкции переменного домена (переменной области).