Axiomatic models and methods used to design of language translators

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2015
• Heft: 3
• ISSN: 1727-4907
• Автори та афіліації: I.N. Parasyuk — Glushkov Institute of Cybernetics NAS of Ukraine; O.I. Provotar — Glushkov Institute of Cybernetics NAS of Ukraine; V.A. Kondratenko — Glushkov Institute of Cybernetics NAS of Ukraine
• Hauptverfasser: Parasyuk, I.N., Provotar, O.I., Kondratenko, V.A.
• Format: Artikel
• Sprache: Russisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2015
• Schlagworte: UDC 681.3
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/16
• Назва журналу: Problems in programming

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.