Attribute grammar inversion and source-to-source translation /
Attribute grammar inversion and source-to-source translation /
Daniel M. Yellin.
- 1 online resource (viii, 176 pages) : illustrations
- Lecture notes in computer science ; 302. .
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.
Use copy
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.
Electronic reproduction.
[Place of publication not identified]:
HathiTrust Digital Library.
2023.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
http://purl.oclc.org/DLF/benchrepro0212
English.
9783540390794 3540390790 9783662210734 3662210738
10.1007/3-540-19072-4 doi
88159493
Translators (Computer programs)
Parsing (Computer grammar)
Compiling (Electronic computers)
Automatic programming (Computer science)
Programming languages (Electronic computers)--Semantics.
Traducteurs (Logiciels)
Analyse automatique (Linguistique)
Compilation (Informatique)
Programmation automatique.
Langages de programmation--Sémantique.
Programming languages (Electronic computers)--Semantics
Parsing (Computer grammar)
Compiling (Electronic computers)
Automatic programming (Computer science)
Translators (Computer programs)
Attributierte Grammatik
Inversion
Maschinelle Übersetzung
Übersetzer
Programacao de computadores.
Parsing (Computer grammar)
Compilers (Computer programs)
Programming languages (Electronic computers)--Semantics.
Translators (Computer programs)
Übersetzer
Translators (Computer programs)
Electronic resources (Books)
QA76.76.T83 / Y45 1988 QA76.9.M38
005.45
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.
Use copy
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.
Electronic reproduction.
[Place of publication not identified]:
HathiTrust Digital Library.
2023.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
http://purl.oclc.org/DLF/benchrepro0212
English.
9783540390794 3540390790 9783662210734 3662210738
10.1007/3-540-19072-4 doi
88159493
Translators (Computer programs)
Parsing (Computer grammar)
Compiling (Electronic computers)
Automatic programming (Computer science)
Programming languages (Electronic computers)--Semantics.
Traducteurs (Logiciels)
Analyse automatique (Linguistique)
Compilation (Informatique)
Programmation automatique.
Langages de programmation--Sémantique.
Programming languages (Electronic computers)--Semantics
Parsing (Computer grammar)
Compiling (Electronic computers)
Automatic programming (Computer science)
Translators (Computer programs)
Attributierte Grammatik
Inversion
Maschinelle Übersetzung
Übersetzer
Programacao de computadores.
Parsing (Computer grammar)
Compilers (Computer programs)
Programming languages (Electronic computers)--Semantics.
Translators (Computer programs)
Übersetzer
Translators (Computer programs)
Electronic resources (Books)
QA76.76.T83 / Y45 1988 QA76.9.M38
005.45