Аксиоматические модели и методы проектирования языковых трансляторов
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Аксиоматические модели и методы проектирования языковых трансляторов
|
|
| Creator |
Парасюк, И.Н.
Провотар, А.И. Кондратенко, В.А. |
|
| Subject |
Теоретические и методологические основы программирования
|
|
| Description |
Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем.
Розглядаються питання застосування логічних методів та методів формальних систем для побудови мовних трансляторів. Запропонований аналог методу резолюцій для елементарних формальних систем. Application 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. |
|
| Date |
2008-07-24T16:33:36Z
2008-07-24T16:33:36Z 2003 |
|
| Type |
Article
|
|
| Identifier |
Аксиоматические модели и методы проектирования языковых трансляторов/ И.Н. Парасюк, А.И. Провотар, В.А. Кондратенко // Проблеми програмування. — 2003. — N 3. — С. 22—28. — Бібліогр.: 9 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1297 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|