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