Суперкомпилятор SCP4: общая структура

Суперкомпилятор SCP4: общая структура

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Немытых А. П. Андрей Петрович
Περίληψη:	На основе технологии суперкомпиляции автор реализовал преобразователь функциональных программ SCP4. SCP4 реализован на функциональном языке программирования Рефал-5. Этот же язык является и входным языком для SCP4. В работе мы рассматриваем общую структуру суперкомпилятора SCP4 и показываем несколько примеров преобразований посредством SCP4.
Γλώσσα:	Ρωσικά
Έκδοση:	Москва, Изд-во ЛКИ, 2007
Θέματα:	программирование суперкомпилятор программы SCP4 языки параметров РЕФАЛ-5 РЕФАЛ-графов
Μορφή:	Βιβλίο
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=80380

Παρόμοια τεκμήρια

Интеллектуальное программирование: Турбо-пролог и рефал-5 на персональных компьютерах
Έκδοση: (СПб., Изд-во СПбГУ, 1992)

Вып. 4 : Методические материалы по применению пакета прикладных программ ДИАФАЛ. Ч. 1 : Описание применения; Методические материалы и документация по пакетам прикладных программ
Έκδοση: (1980)

Реализация Рефала- 2
από: Романенко С. А.
Έκδοση: (Москва, Изд-во АН СССР ИПМ, 1987)

Языки программирования. Концепции и принципы
από: Кауфман В. Ш.
Έκδοση: (Москва, ДМК Пресс, 2011)

Представление в ЭВМ неформальных процедур: продукционные системы
από: Кузнецов В. Е. Владимир Евгеньевич
Έκδοση: (Москва, Наука, 1989)

Т. 1; Энциклопедия по СУБД PARADOX 4.5 for DOS
Έκδοση: (1994)

Т. 2; Энциклопедия по СУБД PARADOX 4.5 for DOS
Έκδοση: (1994)

Изучи сам BORLAND C++ за 21 день: пер. с англ.
από: Шаммас Н. К. Намир Клемент
Έκδοση: (Минск, Попурри, 1996)

Основы проектирования печатных плат в САПР P-CAD 4.5, P-CAD 8.7 и ACCEL EDA
από: Сучков Д. И. Дмитрий Иванович
Έκδοση: (Москва, Горячая линия-Телеком, 2000)

Краткое руководство по Turbo Pascal 5.5
Έκδοση: (Москва, И.В.К.-Софт, 1991)

Orderliness in Mining 4.0; Energies; Vol. 15, iss. 21
από: Zhironkin S. A. Sergey Aleksandrovich
Έκδοση: (2022)

Высокоэнергетические наполнители твердых ракетных топлив и других высокоэнергетических конденсированных систем. Физико-, термохимические характеристики, получение, применение справочник
από: Зиновьев В. М.
Έκδοση: (Пермь, ПНИПУ, 2011)

Нейросети на Python. Основы ИИ и машинного обучения
από: Куликова И. В.
Έκδοση: (Санкт-Петербург, Наука и Техника, 2025)

Авиационный английский язык. Контрольная работа для студентов заочной формы обучения направления подготовки «Эксплуатация аэропортов и обеспечение полетов воздушных судов» профиля 5. Организация аэропортовой деятельности учебно-методическое пособие
από: Цветкова Н. Н.
Έκδοση: (Ульяновск, УИ ГА, 2018)

Exam preparation: reading, translating, retelling учебное пособие по английскому языку для студентов музыкальных вузов
από: Юсупова И. А.
Έκδοση: (Нижний Новгород, ННГК им. М.И. Глинки, 2021)

Обучение иероглифике методическое пособие для студентов 1-го курса очной формы обучения по направлению подготовки: 43.03.02 «туризм» 43.03.03 «гостиничное дело»
από: Прудникова М. Э.
Έκδοση: (Сочи, СГУ, 2018)

Практика письменной и устной речи китайского языка учеб.-метод. пособие
από: Прудникова М. Э.
Έκδοση: (Сочи, СГУ, 2022)

Реакции конденсации ароматических альдегидов и кетонов учебно-методическое пособие по общему курсу органической химии для студентов химических специальностей
από: Кривенько А. П.
Έκδοση: (Саратов, СГУ, 2021)

Диаграмма рекристализации аустенита стали Р12Ф4К5; Металловедение и термическая обработка металлов; № 12
από: Хазанов И. О.
Έκδοση: (1977)

SAP R/3 Программирование на языке АВАР/4: пер. с англ.
από: Вейс В. Вольфганг
Έκδοση: (Москва, Лори, 2012)

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
Έκδοση: (2022)

Effect of Gd content on microstructure and electromagnetic properties of lithium ferrite-based composite; Journal of Alloys and Compounds; Vol. 1045
Έκδοση: (2025)

Bookworm учебно-методическое пособие для студентов 5 курса факультета иностранных языков очной формы обучения, обучающихся по направлению 44.03.05 педагогическое образование (с двумя профилями подготовки), профили «английский язык», «немецкий язык»; «английский язык», «французский язык», «английский язык», «дошкольное образование»; и 5 курса заочной формы обучения, обучающихся по направлению 44.03.01 педагогическое образование, профиль «английский язык»
από: Бахметьева И. А.
Έκδοση: (Воронеж, ВГПУ, 2023)

Scan and skim учебно-методическое пособие для студентов 5 курса факультета иностранных языков очной формы обучения, обучающихся по направлению подготовки 44.03.05 педагогическое образование (с двумя профилями подготовки), профили «английский язык», «немецкий язык»; «английский язык», «французский язык»; «английский язык», «дошкольное образование», «немецкий язык», «английский язык»; «французский язык», «английский язык» и студентов 5 курса заочной формы обучения, обучающихся по направлению подготовки 44.03.01 педагогическое образование, профиль «английский язык»
από: Бахметьева И. А.
Έκδοση: (Воронеж, ВГПУ, 2024)

Classy Classic учебно-методическое пособие для студентов 5 курса факультета иностранных языков очной формы обучения, обучающихся по направлению 44.03.05 педагогическое образование (с двумя профилями подготовки)», профили «английский язык», «немецкий язык»; «английский язык», «французский язык»; «немецкий язык», «английский язык»; «французский язык», «английский язык», «английский язык», «дошкольное образование» и студентов 5 курса заочной формы обучения, обучающихся по направлению 44.03.01 педагогическое образование, профиль «английский язык»
από: Бахметьева И. А.
Έκδοση: (Воронеж, ВГПУ, 2024)

Structural and Electromagnetic Properties of Lithium Ferrite Manufactured by Extrusion Printing; Russian Physics Journal; Vol. 67, iss. 7
Έκδοση: (2024)

Technological and Intellectual Transition to Mining 4.0: A Review; Energies; Vol. 16, iss. 3
από: Zhironkina O. V. Olga Valerjevna
Έκδοση: (2023)

Dynamic HTML: Справочник; Пер. с англ.
από: Хоумер А. Алекс
Έκδοση: (СПб., Питер Ком, 1999)

Investigation of interactions in the mechanically activated a-Fe2O3/Li2CO3 reagents by thermal analysis; Journal of Thermal Analysis and Calorimetry; Vol. 148
Έκδοση: (2023)

Электронно-пучковое спекание литиевой ферритовой керамики, изготовленной методом 3D печати; Материалы во внешних полях (МВП-2024)
Έκδοση: (2024)

Дискретная математика и теория графов учебник для вузов
από: Иванов Б. Н. Борис Николаевич
Έκδοση: (Москва, Юрайт, 2025)

Дискретная математика и теория графов учебное пособие для вузов
από: Иванов Б. Н. Борис Николаевич
Έκδοση: (Москва, Юрайт, 2022)

Дискретная математика и теория графов учебник для вузов
από: Иванов Б. Н. Борис Николаевич
Έκδοση: (Москва, Юрайт, 2026)

Дискретная математика и теория графов учебное пособие для вузов
από: Иванов Б. Н. Борис Николаевич
Έκδοση: (Москва, Юрайт, 2024)

Дискретная математика и теория графов учебное пособие для вузов
από: Иванов Б. Н. Борис Николаевич
Έκδοση: (Москва, Юрайт, 2023)

Методические указания для самостоятельной работы студентов факультета заочного обучения по выполнению контрольных заданий по дисциплине "Деловой иностранный язык" (Немецкий язык)
από: Ригина Н. А.
Έκδοση: (Челябинск, ЮУрГАУ, 2012)

Методы оптимальных решений учеб. пособие
από: Гулай Т. А.
Έκδοση: (Ставрополь, СтГАУ, 2021)

Французский язык
από: Воронкова И. С.
Έκδοση: (Воронеж, ВГУИТ, 2016)

Методические указания по выполнению контрольной работы № 2 на немецком языке для студентов факультета заочного обучения. Направление подготовки – 110800 Агроинженерия
από: Нефедова Н. А.
Έκδοση: (Челябинск, ЮУрГАУ, 2011)

Structural and electromagnetic properties of 3D printed and electron beam sintered lithium ferrite ceramic; Ceramics International; Vol. 50, iss. 24, Pt A
Έκδοση: (2024)