TY  - BOOK
AU  - Yellin,Daniel M.
TI  - Attribute grammar inversion and source-to-source translation
SN  - 9783540390794
AV  - QA76.76.T83 Y45 1988
U1  - 005.45 22
PY  - 1988///
CY  - Berlin
PB  - Springer
KW  - Translators (Computer programs)
KW  - Parsing (Computer grammar)
KW  - Compiling (Electronic computers)
KW  - Automatic programming (Computer science)
KW  - Programming languages (Electronic computers)
KW  - Semantics
KW  - Traducteurs (Logiciels)
KW  - Analyse automatique (Linguistique)
KW  - Compilation (Informatique)
KW  - Programmation automatique
KW  - Langages de programmation
KW  - Sémantique
KW  - fast
KW  - Attributierte Grammatik
KW  - gnd
KW  - Inversion
KW  - Mathematik
KW  - Maschinelle Übersetzung
KW  - Übersetzer
KW  - Informatik
KW  - Programacao de computadores
KW  - larpcal
KW  - nli
KW  - Compilers (Computer programs)
KW  - Übersetzer <Informatik>
KW  - swd
KW  - Electronic resources (Books)
N1  - Includes bibliographical references; Introduction -- Grammar Based Translation Methodologies and RIFs -- The Inversion of RIF Grammars -- Generalizing RIFs -- The INVERT System -- Translating Between Programming Languages -- Conclusions and Future Directions -- References -- Appendix A: AGs Using ERROR and Computability -- Appendix B: Pascal-to-C and C-to-Pascal Translations; Electronic reproduction; [Place of publication not identified]; HathiTrust Digital Library; 2023
N2  - With the proliferation of computer languages and dialects, it is important to create tools to aid in the construction of source-to-source translators. By allowing users to make use of software (or data) written for another system, these tools form an important component in the quest for software reusability. After discussing the theoretical and practical issues of attribute grammar inversion, this book demonstrates how the technique can be used to build source-to-source translators. This is done by first identifying a common canonical form in which to represent the various source languages and then writing attribute grammars from each source to the canonical form. By automatically inverting these attribute grammars one obtains translators from the canonical form back to each source language and by composing the appropriate pairs of translators one obtains source-to-source translators. To prove the feasibility of the inversion approach to source-to-source translation, it has been used to generate translators between the programming languages Pascal and C
UR  - https://link.springer.com/10.1007/3-540-19072-4
ER  -