Formal methodology of translation. I. Semantic preserving translations
作者： Ramachandran Krishnaswamy , H. William Buttelmann
DOI: 10.1016/S0019-9958(78)90611-3
关键词:
摘要: In this paper we present a methodology of translation from given source language to target language. From syntactic and semantic considerations the languages, conditions are developed assure correctness translator. It is proven that these form minimal set prove
elsevier.com
sci-hub.se 参考文章(30)
John E. Hopcroft, Jeffrey D. Ullman, Formal Languages and Their Relation to Automata ,(1969)
William C. Rounds, Mappings and grammars on trees Theory of Computing Systems \/ Mathematical Systems Theory. ,vol. 4, pp. 257- 287 ,(1970) , 10.1007/BF01695769
Donald E. Knuth, Semantics of context-free languages Theory of Computing Systems \/ Mathematical Systems Theory. ,vol. 2, pp. 127- 145 ,(1968) , 10.1007/BF01692511
A. Donald Booth, William N. Locke, Philip M. Morse, Machine Translation of Languages ,(1955)
David B. Benson, Semantic preserving translations Mathematical Systems Theory. ,vol. 8, pp. 105- 126 ,(1974) , 10.1007/BF01762181
A.V. Aho, J.D. Ullman, Translations on a context free grammar Information & Computation. ,vol. 19, pp. 439- 475 ,(1971) , 10.1016/S0019-9958(71)90706-6
A.V. Aho, J.D. Ullman, Properties of syntax directed translations Journal of Computer and System Sciences. ,vol. 3, pp. 319- 334 ,(1969) , 10.1016/S0022-0000(69)80018-8
R.A. Brooker, I.R. MacCallum, D. Morris, J.S. Rohl, The compiler compiler Annual Review in Automatic Programming. ,vol. 3, pp. 229- 275 ,(1963) , 10.1016/S0066-4138(63)80009-9
Arthur Gill, Lawrence T. Kou, Multiple-entry finite automata Journal of Computer and System Sciences. ,vol. 9, pp. 1- 19 ,(1974) , 10.1016/S0022-0000(74)80034-6
Brenda S. Baker, Tree transductions and families of tree languages Proceedings of the fifth annual ACM symposium on Theory of computing - STOC '73. pp. 200- 206 ,(1973) , 10.1145/800125.804051