Зображення обкладинки

Аксиоматические модели и методы проектирования языковых трансляторов

Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем. Розглядаються питання застосування логічних методів та методів формальних систем для побудови мовних тр...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2003
Автори:	Парасюк, И.Н., Провотар, А.И., Кондратенко, В.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут програмних систем НАН України 2003
Теми:	Теоретические и методологические основы программирования
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/1297
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Аксиоматические модели и методы проектирования языковых трансляторов/ И.Н. Парасюк, А.И. Провотар, В.А. Кондратенко // Проблеми програмування. — 2003. — N 3. — С. 22—28. — Бібліогр.: 9 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Формальные модели компонентного программирования
за авторством: Грищенко, В.Н.
Опубліковано: (2003)

Об одной геометрической модели временных параллельных процессов
за авторством: Ошевская, Е.С,
Опубліковано: (2004)

Концепція діалогових обчислень та деякі проблеми автоматизації програмування
за авторством: Петрушенко, А.М., та інші
Опубліковано: (2004)

Процесологічні середовища моделювання
за авторством: Редько, И.В.
Опубліковано: (2003)

Экспликативный базис интеграционных сред
за авторством: Редько, И.В.
Опубліковано: (2004)

О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
за авторством: Крывый, С.Л., та інші
Опубліковано: (2003)

Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)

Что такое алгебраическая алгоритмика?
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2004)

Узагальнена композиційна модель символьної обробки
за авторством: Винник, В.Ю.
Опубліковано: (2003)

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)

Realistic correct systems implementation
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003)

О возможных основаниях немонотонного дедуктивного синтеза программ
за авторством: Приходько, П.П.
Опубліковано: (2003)

Композиційні логіки номінативних даних
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003)

Теоретико-категорная характеризация развертки временных сетей Петри
за авторством: Дубцов, Р.С.
Опубліковано: (2004)

Композиційно-номінативні логіки предикатів над даними з неповною інформацією
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004)

Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
за авторством: Грибовская, Н.С.
Опубліковано: (2004)

Коалгебраическое исследование бисимуляционных паралельных процессов
за авторством: Антонцева, М.Ф.
Опубліковано: (2004)

Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
за авторством: Панченко, Т.В.
Опубліковано: (2004)

Инсерционное моделирование
за авторством: Летичевский, А.Ад.
Опубліковано: (2012)

Система символьных вычислений для программирования динамических приложений
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)

The Conception and Application of PFL: a Process Functional Programming Language
за авторством: Kollar, Jan
Опубліковано: (2004)

Глобальные стратегии профилактики: интеллектуальные модели четвертого поколения
за авторством: Бирюков, В.С.
Опубліковано: (2012)

Влияние полиакриламида на поверхностные свойства растворов хлоридов алкилпиридиния при их извлечении
за авторством: Стрельцова, Е.А., та інші
Опубліковано: (2008)

Термодинамические характеристики воды, слабо связанной с поверхностью слоистых силикатов
за авторством: Тарасевич, Ю.И.
Опубліковано: (2013)

Теоретические проблемы устойчивости броуновских дисперсных систем
за авторством: Мищук, Н.А.
Опубліковано: (2011)

Динамика сорбции серной кислоты слабоосновными полиакриловыми анионитами, синтезированными на основе полиаминов
за авторством: Мамченко, А.В., та інші
Опубліковано: (2008)

Моделирование погружных фотореакторов с оптимальными параметрами УФ-излучения для водоочистки
за авторством: Самсони-Тодоров, А.О., та інші
Опубліковано: (2013)

Влияние УФ-излучения на кинетику разложения катионных ПАВ озоном в водной среде
за авторством: Гончарук, В.В., та інші
Опубліковано: (2007)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
за авторством: Bača, J., та інші
Опубліковано: (2003)

Инженерный расчет фильтрования суспензии через двухслойную загрузку при линейной кинетике массообмена
за авторством: Поляков, В.Л.
Опубліковано: (2011)

Расчет фильтрования суспензий через многослойную загрузку при линейной кинетике массообмена
за авторством: Поляков, В.Л.
Опубліковано: (2008)

Фильтрование суспензии с убывающей скоростью при линейной кинетике массообмена
за авторством: Поляков, В.Л.
Опубліковано: (2012)

Фильтрование суспензий через многослойную загрузку при нелинейной кинетике массообмена. 2. Количественный анализ
за авторством: Поляков, В.Л.
Опубліковано: (2011)

Псориаз - как дерматоз мультифакториальной природы. Особенности течения. Современные методы реабилитации пациентов
за авторством: Чинов, Г.П.
Опубліковано: (2009)

Методы принятия управленческих решений
за авторством: Василенко, В.А.
Опубліковано: (2001)

Проблемы и методы проектирования авиационных систем кондиционирования воздуха
за авторством: Хлистун, А.И., та інші
Опубліковано: (2006)

Использование твердофазного иммуноферментного анализа для определения общего и антиэндотоксинового секреторного IgA человека
за авторством: Гордиенко, А.И.
Опубліковано: (2009)

Программно-технологический комплекс имитационного моделирования вероятностных технологических процессов
за авторством: Максимей, И.В., та інші
Опубліковано: (2003)

Сравнительная характеристика постурального баланса у городских и сельских жителей 65–80 лет
за авторством: Дёмин, А.В., та інші
Опубліковано: (2013)