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

Скорочена інформація про документ
dc.contributor.authorПарасюк, И.Н.
dc.contributor.authorПровотар, А.И.
dc.contributor.authorКондратенко, В.А.
dc.date.accessioned2008-07-24T16:33:36Z
dc.date.available2008-07-24T16:33:36Z
dc.date.issued2003
dc.description.abstractРассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем.en_US
dc.description.abstractРозглядаються питання застосування логічних методів та методів формальних систем для побудови мовних трансляторів. Запропонований аналог методу резолюцій для елементарних формальних систем.en_US
dc.description.abstractApplication of logical methods and formal system theory methods used to design of language translators are considered. An analogue of a resolution method for elementary systems is proposed.en_US
dc.identifier.citationАксиоматические модели и методы проектирования языковых трансляторов/ И.Н. Парасюк, А.И. Провотар, В.А. Кондратенко // Проблеми програмування. — 2003. — N 3. — С. 22—28. — Бібліогр.: 9 назв. — рос.en_US
dc.identifier.issn1727-4907
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/1297
dc.language.isoruen_US
dc.publisherІнститут програмних систем НАН Україниen_US
dc.statuspublished earlieren_US
dc.subjectТеоретические и методологические основы программированияen_US
dc.titleАксиоматические модели и методы проектирования языковых трансляторовen_US
dc.title.alternativeАксіоматичні моделі та методи проектування мовних трансляторівen_US
dc.title.alternativeAxiomatic models and methods used to design of language translatorsen_US
dc.typeArticleen_US

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
02-Parasyuk.pdf
Розмір:
169.12 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
1.8 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Проблеми програмування, 2003, № 3