Journal of the ACM (JACM)
Journal of the ACM (JACM)
Semantic evaluation from left to right
Communications of the ACM
Proceedings of the Workshop on Ada Software Tools Interfaces
OPTRAN, a Language for the Specification of Program Transformations
Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI
How to Implement a System for Manipulation of Attributed Trees
Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft
The why and wherefore of the Cornell Program Synthesizer
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
Compiler construction using attribute grammars
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
A truly generative semantics-directed compiler generator
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Alternating semantic evaluator
ACM '75 Proceedings of the 1975 annual conference
Tree templates and subtree transformational grammars.
Tree templates and subtree transformational grammars.
C: toward a concise syntactic description
ACM SIGPLAN Notices
ACM SIGAda Ada Letters
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Optimal code generation for expression trees: an application BURS theory
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
TransformGen: automating the maintenance of structure-oriented environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Source-to-source translation of visual languages
Nordic Journal of Computing
On the conformity of models: a transducer-based approach for model transformation
Proceedings of the 2008 ACM symposium on Applied computing
| Hi-index | 0.00 |
A formal description technique for describing transformations from one well-defined language to another is introduced. A TT-grammar contains context-free grammars for describing the syntax of both languages. The transformation between the languages is described by a relationship of productions from the grammars. The TT-grammar is supported by an automated tool. SSAGS -- a translator writing system based on attribute grammars -- has been extended to support certain classes of TT-grammars. SSAGS analyzes TT-grammars and automatically generates Ada source programs implementing the transformation specified by the TT-grammar. Experience with two different restricted forms of TT-grammars is described with respect to their practical application. The experience demonstrates the readability, ease of development, and additional verification available through the use of TT-grammars.