Axiomatic models and methods used to design of language translators

I.N. Parasyuk, O.I. Provotar, V.A. Kondratenko

Abstract


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.

References


Глушков В.М. Об одном методе автоматизации программирования // Пробл. кибернетики. – №2. – С.181—184.

Парасюк И.Н., Сергиенко И.В. Пакеты программ анализа данных: технология разработки. – М: Финансы и статистика, 1988. – 160 с.

Bratko I. Prolog Programming for Artificial Intelligence: Addison Wesley, M.A., 1986. – 560 с.

Чень Ч., Ли Р. Математическая логика и автоматическое

доказательство теорем. – М: Наука, 1983. – 360 с.

Тей А., Грибомон П., Яцы Ж. Логический подход к искусственному интеллекту – М: Мир, 1990. – 430 с.

Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. – М: Мир, 1978. – Т.1. – 612с.

Р. Смальян. Теорія формальних систем. – М: Наука, 1981. — 208с.

Семантика языков программирования / Под ред. В.М. Курочкина. – М: Мир, 1980. – 396 с.

Lewis P.M., Rozenkrantz D.J., Stearns R.E. Attributed Translation. General Electric Company, Research and Development Center, New

York 12345, Received August 30, 1973 // J. of Computer and System Sciences. 1974. – 9, N.3, Dec. – 142 p.


Refbacks

  • There are currently no refbacks.