Суперкомпилятор SCP4: общая структура
| 1. Verfasser: | Немытых А. П. Андрей Петрович |
|---|---|
| Zusammenfassung: | На основе технологии суперкомпиляции автор реализовал преобразователь функциональных программ SCP4. SCP4 реализован на функциональном языке программирования Рефал-5. Этот же язык является и входным языком для SCP4. В работе мы рассматриваем общую структуру суперкомпилятора SCP4 и показываем несколько примеров преобразований посредством SCP4. |
| Sprache: | Russisch |
| Veröffentlicht: |
Москва, Изд-во ЛКИ, 2007
|
| Schlagworte: | |
| Format: | MixedMaterials Buch |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=80380 |
Ähnliche Einträge
Интеллектуальное программирование: Турбо-пролог и рефал-5 на персональных компьютерах
Veröffentlicht: (СПб., Изд-во СПбГУ, 1992)
Veröffentlicht: (СПб., Изд-во СПбГУ, 1992)
Вып. 4 : Методические материалы по применению пакета прикладных программ ДИАФАЛ. Ч. 1 : Описание применения; Методические материалы и документация по пакетам прикладных программ
Veröffentlicht: (1980)
Veröffentlicht: (1980)
Реализация Рефала- 2
von: Романенко С. А.
Veröffentlicht: (Москва, Изд-во АН СССР ИПМ, 1987)
von: Романенко С. А.
Veröffentlicht: (Москва, Изд-во АН СССР ИПМ, 1987)
Языки программирования. Концепции и принципы
von: Кауфман В. Ш.
Veröffentlicht: (Москва, ДМК Пресс, 2011)
von: Кауфман В. Ш.
Veröffentlicht: (Москва, ДМК Пресс, 2011)
Представление в ЭВМ неформальных процедур: продукционные системы
von: Кузнецов В. Е. Владимир Евгеньевич
Veröffentlicht: (Москва, Наука, 1989)
von: Кузнецов В. Е. Владимир Евгеньевич
Veröffentlicht: (Москва, Наука, 1989)
Изучи сам BORLAND C++ за 21 день: Extra credit; пер. с англ.
von: Шаммас Н. К. Намир Клемент
Veröffentlicht: (Минск, Попурри, 1996)
von: Шаммас Н. К. Намир Клемент
Veröffentlicht: (Минск, Попурри, 1996)
Обьектно-ориентированное программирование на Borland C++ 4.5: пер. с англ.
von: Фейсон Т. Тед
Veröffentlicht: (Киев, Диалектика, 1996)
von: Фейсон Т. Тед
Veröffentlicht: (Киев, Диалектика, 1996)
Т. 1; Энциклопедия по СУБД PARADOX 4.5 for DOS
Veröffentlicht: (1994)
Veröffentlicht: (1994)
Т. 2; Энциклопедия по СУБД PARADOX 4.5 for DOS
Veröffentlicht: (1994)
Veröffentlicht: (1994)
Изучаем Basic
von: Гутман Г. Геннадий
Veröffentlicht: (СПб., Питер, 2002)
von: Гутман Г. Геннадий
Veröffentlicht: (СПб., Питер, 2002)
Изучи сам BORLAND C++ за 21 день: пер. с англ.
von: Шаммас Н. К. Намир Клемент
Veröffentlicht: (Минск, Попурри, 1996)
von: Шаммас Н. К. Намир Клемент
Veröffentlicht: (Минск, Попурри, 1996)
Maya 4.5: Учебный курс; пер. с англ.
von: Ламмерс Дж. Джим
Veröffentlicht: (СПб., Питер, 2003)
von: Ламмерс Дж. Джим
Veröffentlicht: (СПб., Питер, 2003)
Основы проектирования печатных плат в САПР P-CAD 4.5, P-CAD 8.7 и ACCEL EDA
von: Сучков Д. И. Дмитрий Иванович
Veröffentlicht: (Москва, Горячая линия-Телеком, 2000)
von: Сучков Д. И. Дмитрий Иванович
Veröffentlicht: (Москва, Горячая линия-Телеком, 2000)
Краткое руководство по Turbo Pascal 5.5
Veröffentlicht: (Москва, И.В.К.-Софт, 1991)
Veröffentlicht: (Москва, И.В.К.-Софт, 1991)
Orderliness in Mining 4.0; Energies; Vol. 15, iss. 21
von: Zhironkin S. A. Sergey Aleksandrovich
Veröffentlicht: (2022)
von: Zhironkin S. A. Sergey Aleksandrovich
Veröffentlicht: (2022)
Высокоэнергетические наполнители твердых ракетных топлив и других высокоэнергетических конденсированных систем. Физико-, термохимические характеристики, получение, применение справочник
von: Зиновьев В. М.
Veröffentlicht: (Пермь, ПНИПУ, 2011)
von: Зиновьев В. М.
Veröffentlicht: (Пермь, ПНИПУ, 2011)
Самоучитель по компьютерной графике
von: Бурлаков М. Михаил
Veröffentlicht: (Киев, BHV, 2000)
von: Бурлаков М. Михаил
Veröffentlicht: (Киев, BHV, 2000)
Решение научно-технических задач на персональном компьютере: Для студентов и инженеров
von: Рыжиков Ю. И. Юрий Иванович
Veröffentlicht: (СПб., Корона принт, 2000)
von: Рыжиков Ю. И. Юрий Иванович
Veröffentlicht: (СПб., Корона принт, 2000)
Нейросети на Python. Основы ИИ и машинного обучения
von: Куликова И. В.
Veröffentlicht: (Санкт-Петербург, Наука и Техника, 2025)
von: Куликова И. В.
Veröffentlicht: (Санкт-Петербург, Наука и Техника, 2025)
Крепкий орешек Visual Basic 4: пер. с англ.
von: Мак-Кинни Б. Брюс
Veröffentlicht: (Москва, Русская Редакция, 1996)
von: Мак-Кинни Б. Брюс
Veröffentlicht: (Москва, Русская Редакция, 1996)
Photoshop 5.5 ImageReady 2.0
von: Бурлаков М. Михаил
Veröffentlicht: (Киев, BHV, 2000)
von: Бурлаков М. Михаил
Veröffentlicht: (Киев, BHV, 2000)
Borland C++ 5: Руководство для профессионалов; пер. с англ.
von: Киммел П. Пол
Veröffentlicht: (СПб., BHV, 2001)
von: Киммел П. Пол
Veröffentlicht: (СПб., BHV, 2001)
С/С++. Программирование в среде С++ Builder 5
von: Тимофеев В. В.
Veröffentlicht: (Москва, Бином, 2000)
von: Тимофеев В. В.
Veröffentlicht: (Москва, Бином, 2000)
Реакции конденсации ароматических альдегидов и кетонов учебно-методическое пособие по общему курсу органической химии для студентов химических специальностей
von: Кривенько А. П.
Veröffentlicht: (Саратов, СГУ, 2021)
von: Кривенько А. П.
Veröffentlicht: (Саратов, СГУ, 2021)
SAP R/3 Программирование на языке АВАР/4: пер. с англ.
von: Вейс В. Вольфганг
Veröffentlicht: (Москва, Лори, 2012)
von: Вейс В. Вольфганг
Veröffentlicht: (Москва, Лори, 2012)
Диаграмма рекристализации аустенита стали Р12Ф4К5; Металловедение и термическая обработка металлов; № 12
von: Хазанов И. О.
Veröffentlicht: (1977)
von: Хазанов И. О.
Veröffentlicht: (1977)
Как программировать для Internet и WWW: пер. с англ.
von: Дейтел Х. М.
Veröffentlicht: (Москва, Бином, 2002)
von: Дейтел Х. М.
Veröffentlicht: (Москва, Бином, 2002)
PHP 4 в действии: пер. с англ.
von: Мелони Дж. Джулия
Veröffentlicht: (Москва, Лучшие книги, 2002)
von: Мелони Дж. Джулия
Veröffentlicht: (Москва, Лучшие книги, 2002)
Molecular manipulation of the 1,5,6,7-tetrahydro-4H-indazol-4-one scaffold to obtain new human neutrophil elastase (HNE) inhibitors; Journal of Molecular Structure; Vol. 1263
Veröffentlicht: (2022)
Veröffentlicht: (2022)
Авиационный английский язык. Контрольная работа для студентов заочной формы обучения направления подготовки «Эксплуатация аэропортов и обеспечение полетов воздушных судов» профиля 5. Организация аэропортовой деятельности учебно-методическое пособие
von: Цветкова Н. Н.
Veröffentlicht: (Ульяновск, УИ ГА, 2018)
von: Цветкова Н. Н.
Veröffentlicht: (Ульяновск, УИ ГА, 2018)
Обучение иероглифике методическое пособие для студентов 1-го курса очной формы обучения по направлению подготовки: 43.03.02 «туризм» 43.03.03 «гостиничное дело»
von: Прудникова М. Э.
Veröffentlicht: (Сочи, СГУ, 2018)
von: Прудникова М. Э.
Veröffentlicht: (Сочи, СГУ, 2018)
Exam preparation: reading, translating, retelling учебное пособие по английскому языку для студентов музыкальных вузов
von: Юсупова И. А.
Veröffentlicht: (Нижний Новгород, ННГК им. М.И. Глинки, 2021)
von: Юсупова И. А.
Veröffentlicht: (Нижний Новгород, ННГК им. М.И. Глинки, 2021)
Практика письменной и устной речи китайского языка учеб.-метод. пособие
von: Прудникова М. Э.
Veröffentlicht: (Сочи, СГУ, 2022)
von: Прудникова М. Э.
Veröffentlicht: (Сочи, СГУ, 2022)
Borland C++ 5: справочник; пер. с нем.
von: Луис Д. Дерк
Veröffentlicht: (Москва, Бином, 1997)
von: Луис Д. Дерк
Veröffentlicht: (Москва, Бином, 1997)
Хитрости, трюки и секреты создания Web-страниц на базе языка гипертекстовых документов HTML 3.0-4.0
von: Полянский А. Александр
Veröffentlicht: (Москва, Познавательная книга, 2000)
von: Полянский А. Александр
Veröffentlicht: (Москва, Познавательная книга, 2000)
Technological and Intellectual Transition to Mining 4.0: A Review; Energies; Vol. 16, iss. 3
von: Zhironkina O. V. Olga Valerjevna
Veröffentlicht: (2023)
von: Zhironkina O. V. Olga Valerjevna
Veröffentlicht: (2023)
Effect of Gd content on microstructure and electromagnetic properties of lithium ferrite-based composite; Journal of Alloys and Compounds; Vol. 1045
Veröffentlicht: (2025)
Veröffentlicht: (2025)
Язык СА-CLIPPER 5.2 и библиотека СА-СLIРРЕR TOOLS 3.0: Описание языковых средств и возможностей библиотеки для прикладных программистов
von: Канатников А. Н. Анатолий Николаевич
Veröffentlicht: (Москва, Финансы и статистика, 1995)
von: Канатников А. Н. Анатолий Николаевич
Veröffentlicht: (Москва, Финансы и статистика, 1995)
Structural and Electromagnetic Properties of Lithium Ferrite Manufactured by Extrusion Printing; Russian Physics Journal; Vol. 67, iss. 7
Veröffentlicht: (2024)
Veröffentlicht: (2024)
Bookworm учебно-методическое пособие для студентов 5 курса факультета иностранных языков очной формы обучения, обучающихся по направлению 44.03.05 педагогическое образование (с двумя профилями подготовки), профили «английский язык», «немецкий язык»; «английский язык», «французский язык», «английский язык», «дошкольное образование»; и 5 курса заочной формы обучения, обучающихся по направлению 44.03.01 педагогическое образование, профиль «английский язык»
von: Бахметьева И. А.
Veröffentlicht: (Воронеж, ВГПУ, 2023)
von: Бахметьева И. А.
Veröffentlicht: (Воронеж, ВГПУ, 2023)
Ähnliche Einträge
-
Интеллектуальное программирование: Турбо-пролог и рефал-5 на персональных компьютерах
Veröffentlicht: (СПб., Изд-во СПбГУ, 1992) -
Вып. 4 : Методические материалы по применению пакета прикладных программ ДИАФАЛ. Ч. 1 : Описание применения; Методические материалы и документация по пакетам прикладных программ
Veröffentlicht: (1980) -
Реализация Рефала- 2
von: Романенко С. А.
Veröffentlicht: (Москва, Изд-во АН СССР ИПМ, 1987) -
Языки программирования. Концепции и принципы
von: Кауфман В. Ш.
Veröffentlicht: (Москва, ДМК Пресс, 2011) -
Представление в ЭВМ неформальных процедур: продукционные системы
von: Кузнецов В. Е. Владимир Евгеньевич
Veröffentlicht: (Москва, Наука, 1989)