ЯЗЫК ПРОГРАММИРОВАНИЯ ЛЯПАС | Прикладная дискретная математика. 2009. № 2(4).

Излагается история создания языка программирования ЛЯПАС, известного за рубежом как Russian Programming Language. Кратко описываются особенности языка и реализующих его систем программирования для различных типов компьютеров. Отражены основные этапы развития языка и его распространения. Показана возможность эффективного использования языка ЛЯПАС для разработки блоков систем программирования, в том числе трансляторов. Приводятся примеры пакетов прикладных программ и систем, созданных на базе языка ЛЯПАС.
  • Title ЯЗЫК ПРОГРАММИРОВАНИЯ ЛЯПАС
  • Headline ЯЗЫК ПРОГРАММИРОВАНИЯ ЛЯПАС
  • Publesher Tomask State UniversityTomsk State University
  • Issue Прикладная дискретная математика 2(4)
  • Date:
  • DOI
Ключевые слова
автоматизация программирования , язык программирования ЛЯПАС
Авторы
Ссылки
Закревский А. Д., Торопов П. Р. Полиномиальная реализация частичных булевых функций и систем. Минск: Ин-т техн. кибернетики НАН Беларуси, 2001. 200 с.
Черемисинов Д. П., Черемисинова Л. Д. Троичные векторы и матрицы // Логическое проектирование. Вып. 3. Минск: Ин-т техн. кибернетики НАН Беларуси, 1998. С.146-155.
Поспелов Д. А. Школа МАГа // Новости искусственного интеллекта. 1997. № 3. С. 80-130.
Романов В. П., Василькова П. В. Булевы векторы и матрицы в C++ // Логическое проектирование. Вып. 2. Минск: Ин-т техн. кибернетики НАН Беларуси, 1998. С. 150-158.
Торопов П. Р. Тренажер решения логических задач методом комбинаторного поиска. Минск, 1994. 16 с. / Препринт Ин-та техн. кибернетики НАН Беларуси №22.
Торопов П. Р. Исследовательская САПР дискретных управляющих устройств // Материалы по математическому обеспечению ЭВМ. Минск: Ин-т техн. кибернетики НАН Беларуси, 1994. 60 с.
Торопов П. Р. Формирование составных проектных операций в ИСАПР // Формализация и автоматизация логического проектирования. Минск: Ин-т техн. кибернетики НАН Беларуси, 1993. С. 193-146.
Закревский А. Д., Торопов П. Р. Проектирование систем логического управления // Фундаментальные и поисковые исследования в интересах обороны страны. М.: Министерство обороны СССР, 1991. Вып. 73-74. С. 36-43.
Торопов П. Р. Организация диалога через иерархию вложенных меню в ИСАПР // Автоматизация логического проектирования дискретных систем. Минск: Ин-т техн. кибернетики АН БССР, 1991. С. 81-95.
Томашев В. Ф. Перенос ЛЯПАС-М-предтранслятора с ЕС ЭВМ на ЕС 1840 // Автоматизация логического проектирования дискретных устройств. Минск: Ин-т техн. кибернетики АН БССР, 1991. С. 63-71.
Торопов П. Р., Шестаков Е. А. Инструментальная система логического проектирования. Минск: Ин-т техн. кибернетики АН БССР, 1989. 70 с.
Торопов П. Р., Романов В. П., Кириенко П. А. и др. Система программирования ЛЕС-7. Минск: Ин-т техн. кибернетики АН БССР, 1990. 64 с.
Дудкин А. А., Поттосин Ю. В., Синичка А. А., Черемисинова Л. Д. Комплекс программ синтеза комбинационных схем в базисе ПЛМ и МЛВ. Минск: Ин-т техн. кибернетики АН БССР, 1988. 68 с.
Черемисинова Л. Д., Василенок В. К., Желудко Е. В., Красилъникова Л. В. Система логического синтеза устройств управления на базе программируемых контроллеров. Минск: Ин-т техн. кибернетики АН БССР, 1988. 100 с.
Белоусова П. А., Питосин В. Т. Реализация ЛЯПАС-М на СМ ЭВМ // Программирование. 1988. №4. С. 106-108.
Торопов П. Р. Диагностика программ в режиме микродиалога. Минск, 1988. 16 с. / Препринт Ин-та техн. кибернетики АН БССР № 12.
Торопов П. Р. Динамическая сегментация данных в системе ЛЕС. Минск, 1987. 12 с. / Препринт Ин-та техн. кибернетики АН БССР №24.
Закревский А. Д., Василенок В. К., Черемисинов Д. П., Черемисинова Л. Д. Система Логика-М синтеза управляющих устройств в базисе ПЛМ и микропроцессоров // Управляющие системы и машины. 1987. №3. С. 31-35.
Торопов П. Р. «Уборка мусора» в системе ЛЕС // Проектирование систем логического проектирования. Минск: Ин-т техн. кибернетики АН БССР, 1986. С. 91-96.
Торопов П. Р. Диалоговое программирование в языке ЛЯПАС-М // Кибернетика. 1986. №1. С. 25-30.
Торопов П. Р. Диалоговая система программирования ЛЕС. Минск: Наука и техника, 1985. 263 с.
Закревский А. Д., Бибило П. П., Дудкин А. А., Шнейдер А.А. Пакет программ для решения комбинаторных задач над булевыми и троичными матрицами // Управляющие системы и машины. 1984. №3. С. 115-118.
Быкова С. В., Головчинер М. П., Жуковский О. И. и др. ТОМЛЕС - система программирования с базовым языком ЛЯПАС-М для ЕС ЭВМ // Программирование. 1984. №5. С.56-63.
Торопов П. Р., Романов В. И. Система программирования ЛЕС 4 (инструкционно-методические материалы). Минск: Ин-т техн. кибернетики АН БССР, 1984. 134 с.
Черемисинов Д. И. Транслятор языка регулярных выражений // Автоматизация программирования на базе языка ЛЯПАС-М. Минск: Ин-т техн. кибернетики АН БССР, 1983. С. 127-134.
Романов В. И. Использование ЛЯПАС-М-программ из программ на других языках программирования // Автоматизация программирования на базе языка ЛЯПАС-М. Минск: Ин-т техн. кибернетики АН БССР, 1983. С. 119-126.
Романов В. И. М-компиляция в системе программирования ЛЕС // Автоматизация программирования на базе языка ЛЯПАС-М. Минск: Ин-т техн. кибернетики АН БССР, 1983. С. 62-72.
Кириенко П. А. Оптимизирующий транслятор с языка ЛЯПАС-М для ЕС ЭВМ // Автоматизация программирования на базе языка ЛЯПАС-М. Минск: Ин-т техн. кибернетики АН БССР, 1983. С. 81-93.
Поляков А. С. Синтаксический контроль программ в системе ЛЕС // Автоматизация программирования на базе языка ЛЯПАС-М. Минск: Ин-т техн. кибернетики АН БССР, 1983. С. 73-80.
Белоусова П. А. Транслятор с алгоритмического языка ЛЯПАС-М для ЕС ЭВМ // Автоматизация программирования на базе языка ЛЯПАС-М. Минск: Ин-т техн. кибернетики АН БССР, 1983. С. 94-111.
Закревский А. Д., Енин С.В., Поттосин Ю.В. Диалоговый пакет программ для автоматизации логического проектирования дискретных устройств // Автоматизация проектирования систем управления. Вып. 4. М.: Финансы и статистика, 1982. С. 29-40.
Томашев В. Ф. Мобильный ЛЯПАС-М - транслятор (вариант для БЭСМ-6). Минск: Ин-т техн. кибернетики АН БССР, 1982. 105 с.
Черемисинов Д. И. Инструментальный комплекс для разработки программного обеспечения микропроцессоров // Управляющие системы и машины. 1981. №5. С. 68-71.
Енин С. В., Василенок В. К. Структура и принципы построения диалоговой системы ДИМОД-1 для моделирования дискретных устройств с неисправностями // Автоматизация анализа и моделирования логических сетей. Минск: Ин-т техн. кибернетики АН БССР, 1981. С. 129-137.
Погарцев А. Г., Уткин А. А. Экспериментальная диалоговая система ЭДА // Автоматизация анализа и моделирования логических сетей. Минск: Ин-т техн. кибернетики АН БССР, 1981. С. 17-30.
Торопов Н. Р. Динамическая сегментация в программирующей системе ЛЯПАС-М // Управляющие системы и машины. 1981. №3. С. 67-70.
Автоматизация проектирования цифровых устройств / Под ред. С. С. Бадулина. М.: Радио и связь, 1981. 238 с.
Торопов Н. Р. Комплексная отладка программ на языке ЛЯПАС-М // Управляющие системы и машины. 1981. №2. С. 91-101.
Романов В. И., Торопов Н. Р. Простой способ планирования в диалоговых системах // Материалы семинара «Диалог в автоматизированных системах». М., 1981. С. 126-134.
Романов В. И. О совместимости языка ЛЯПАС-М с другими языками программирования // Автоматизация логического проектирования дискретных устройств. Вып. 2. Минск: Ин-т техн. кибернетики АН БССР, 1980. С. 121-126.
Торопов Н. Р. Унификация диалоговых языков в системе ЛЕС // Автоматизация логического проектирования дискретных устройств. Вып. 2. Минск: Ин-т техн. кибернетики АН БССР, 1980. С. 105-110.
Торопов Н. Р. Система программирования ЛЯПАС-М в рамках ОС ЕС ЭВМ // Автоматизация логического проектирования дискретных устройств. Вып. 2. Минск: Ин-т техн. кибернетики АН БССР, 1980. С. 99-104.
Томашев В. Ф. Об опыте разработки, развертывания и тестирования транслятора и системы ЛЯПАС-М // Автоматизация логического проектирования дискретных устройств. Вып. 2. Минск: Ин-т техн. кибернетики АН БССР, 1980. С. 127-134.
Закревский А. Д. О пакете программ ЛОГИКА-1 // Алгоритмы решения логико-комбинаторных задач. Вып. 5. Минск: Ин-т техн. кибернетики АН БССР, 1979. С. 3-9.
Быкова С. В., Головчинер М. Н. Инструкция к пользованию системой программирования ЛЯПАС-М для ЕС ЭВМ // Алгоритмы решения задач дискретной математики. Томск: Изд-во Том. ун-та, 1979. С. 4-13.
Торопов Н. Р. Организация взаимодействия мониторов в ДИСМО // Вычислительная техника в машиностроении. Вып. 1. Минск: Ин-т техн. кибернетики АН БССР, 1979. С.129-135.
Tratnik I. Seminar «Analiza in primerjava jezikov za podro'je digitalne tehnike». Ljubljani: Univerzav, 1979. 63 с
Романов В. И., Торопов Н. Р. Организация информационного обмена в ДИСМО // Вычислительная техника в машиностроении. Вып. 1. Минск: Ин-т техн. кибернетики АН БССР, 1979. С. 122-128.
Закревский А. Д., Торопов Н. Р. Система программирования ЛЯПАС-М. Минск: Наука и техника, 1978. 240 с.
Закревский А. Д., Торопов Н. Р. Программное обеспечение разработки диалоговой системы логического синтеза // Дискретные системы. Т. 1. Дрезден, 1977. С. 164-173.
Закревский А. Д., Поляков А. С. О повышении качества машинных программ путем оптимизации использования регистров // Управляющие системы и машины. 1976. №6. С.105-111.
Закревский А. Д., Балаклей Л. И., Елисеева Н. А. и др. Синтез асинхронных автоматов на ЭВМ. Минск: Наука и техника, 1975. 184 с.
Томашев В. Ф. Отладочная интерпретирующая шаговая трассировочная программа для языка ЛЯПАС-М // Управляющие системы и машины. 1975. №1. С. 29-31.
Закревский А. Д. Сообщение о школе-семинаре, посвященной рассмотрению системы ЛЯПАС-71 (Томск, 1972) // Вопросы кибернетики. Теория релейных устройств и конечных автоматов. М.: ВИНИТИ, 1975. С. 35-37.
Charles J., Albright Jr. An interpreter for the language LYaPAS. University of North Carolina at Chapel Hill: Department of Computer Science, 1974. 127 p.
Закревский А. Д. Язык программирования ЛЯПАС-М // Вычислительная техника в машиностроении. Минск: Ин-т техн. кибернетики АН БССР, 1974. С. 99-111.
Закревский А. Д., Белоусова Н. А., Жирова Л.П. и др. Программирующая система ЛЯПАС-71 // Системное программирование: Материалы Всес. симп., март 1973). Ч. 2. Новосибирск, 1973. С.84-95.
Закревский А. Д. Алгоритмы синтеза дискретных автоматов. М.: Наука, 1971. 512 с.
Усачева Н. А. Система автоматического программирования с языком ЛЯПАС для ЭВМ «Минск-22», работающей в режиме Т. М.: ВНТИЦ, 1971. 151 с.
Michalski A., Wiewiorowski T. Odra Ljapas. Warszawa: Computation Centre Polish Academy of Sciences, 1970. 33 p.
Nadler N. User Group for Russian Programming Language // IEEE, Newsletter for Computer-Aided Design. ISSUE №3, may/june, 1971.
LYaPAS: A programming language for logic and coding algorithms / Ed. by M.A. Gavrilov and A.D. Zakrevskii. New York and London: Academic Press, 1969. 475 p.
Усачева Н. А. Поиск синтаксических ошибок в Л-программах // Там же. С. 75-78.
Закревский А. Д. Компилятор ЛЯПАСа // Там же. С. 70-74.
Быкова С.В., Воробьев В. А., Закревский А. Д. Библиотека подпрограмм системы ЛЯПАС // Докл. Всесоюзн. коллоквиума по автоматизации синтеза дискретных вычислительных устройств. Новосибирск: СО АН СССР, 1966. С. 4-10.
Закревский А. Д. Отладка Л-программ на машине «Урал-1» // Там же. С. 79-90.
Торопов Н. Р. Транслятор для машины УРАЛ-1 // Там же. С. 99-126.
Закревский А. Д., Товштейн М. Я., Торопов Н. Р. Программирующая система ПС-ЛЯПАС // Там же. С. 47-51.
Товштейн М. Я. Транслятор для быстродействующих УЦВМ // Там же. С. 52-69.
Закревский А. Д. Алгоритмический язык ЛЯПАС и автоматизация синтеза дискретных автоматов. Томск: Изд-во Том. ун-та, 1966. 266 с.
Логический язык для представления алгоритмов синтеза релейных устройств / Под ред. М.А. Гаврилова. М.: Наука, 1966. 342 с.
Закревский А. Д. Первый уровень языка ЛЯПАС // Труды СФТИ. Вып. 48. Томск: Изд-во Том. ун-та, 1966. С. 12-22.
Ершов А. П., Кожухин Г. И., Поттосин И. В. Обзор особенностей АЛЬФА-языка. АЛЬФА - система автоматизации программирования / Под ред. А. П. Ершова. Новосибирск: РИО СО АН СССР, 1965. С. 14-30.
Закревский А. Д. Машина для решения логических задач типа синтеза релейных схем // Синтез релейных устройств: Труды Междунар. симп. по теории релейных устройств и конечных автоматов. М.: Наука, 1965. С. 346-356.
Zakrewskij A. D. On conference papers by S.Waligorskij and A.Stogny. Relay systems and finite automata // Translated proceedings, Burrough Corp., 1964. P. 33-34.
Закревский А. Д. ЛЯПАС - логический язык представления алгоритмов синтеза // Теория автоматов. Киев: ИК АН УССР, 1964. С. 3-29.
Ющенко Е. Л. Адресное программирование. Киев: ГТИ УССЗ, 1963.
Тимофеев Б. Л. Машина для минимизации булевых функций // Структурная теория релейных устройств. М.: Изд-во АН СССР, 1963. С. 242-249.
Бутаков Е. А., Закревский А. Д. Минимизация числа состояний релейной схемы на универсальной вычислительной машине «Урал-1» // Проблемы передачи информации. Вып.П. М.: Изд-во АН СССР, 1962. С. 66-76.
Iverson К. Е. A programming language. New York: Wiley, 1962.
Закревский А. Д. К синтезу последовательностных автоматов // Труды СФТИ. Вып. 40. Томск: Изд-во Том. ун-та, 1961. С. 73-88.
Закревский А. Д. Формализация синтеза электронной цифровой вычислительной машины // Вычислительная техника. Автоматика, теория информации. Томск: Изд-во Том. ун-та, 1961. С. 64-72.
Бэкус Дж. В. и др. Сообщение об алгоритмическом языке Алгол-60 // ЖВМ и МФ. 1961. Т. 1. №2. С. 308-342.
Закревский А. Д. Визуально-матричный метод минимизации булевых функций // Автоматика и телемеханика. 1960. Т. 21. №3. С. 369-373.
Гаврилов М. А. Минимизация булевых функций, характеризующих релейные цепи // Автоматика и телемеханика. 1959. №9. С. 1217-1238.
Архангельский А. А., Лазарев В. Г., Рогинский В. Н. Машина для синтеза контактных схем // Проблемы передачи информации. Вып. 1. М.: Изд-во АН СССР, 1959. С. 41-52.
Backus J. W., Beeber R. J. and other. The FORTRAN automatic coding system // Proc. Of the Western Joint Computer Conference. Los Angeles, Calif., February 1957. P. 188-198.
Ляпунов А. А. О логических схемах программ // Проблемы кибернетики. Вып. 1. М.: Физматгиз, 1958. С. 46-74.
 ЯЗЫК ПРОГРАММИРОВАНИЯ ЛЯПАС             | Прикладная дискретная математика. 2009. № 2(4).
ЯЗЫК ПРОГРАММИРОВАНИЯ ЛЯПАС | Прикладная дискретная математика. 2009. № 2(4).