Rewritable Reference Attributed Grammars

Ekman, Torbjörn; Hedin, Görel

doi:10.1007/978-3-540-24851-4_7

Cited by 42 publications

(36 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Examples of extensible compilers for Java are Polyglot [75], Silver [109] and JastAddJ [45]. The latter two are based on extensible attribute grammars formalisms, which supports declarative and compositional specification of the type system of a language [109,44].…”

Section: Domain-specific Language Extensionmentioning

confidence: 99%

“…While rewriting approaches can express context-sensitive analyses and transformations, e.g. the type checker in Section 7.1), a more declarative approach to expressing analyses is provided by attribute grammars [65], which are supported by systems such as JastAdd [44] and Silver [109]. An attribute grammar assigns values to attributes of tree nodes.…”

Section: Model Representationmentioning

confidence: 99%

“…-JastAdd [44] is a compiled language based on rewriteable reference attributed grammars. -Silver [109] is a compiled attribute grammar formalism with forwarding and dynamic scheduling of attribute evaluation.…”

Section: Attribute Grammar Formalismsmentioning

confidence: 99%

See 2 more Smart Citations

WebDSL: A Case Study in Domain-Specific Language Engineering

Visser

2008

Lecture Notes in Computer Science

107

110

View full text Add to dashboard Cite

Section: Domain-specific Language Extensionmentioning

confidence: 99%

Section: Model Representationmentioning

confidence: 99%

See 1 more Smart Citation

WebDSL: A Case Study in Domain-Specific Language Engineering

Visser

2008

Lecture Notes in Computer Science

107

110

View full text Add to dashboard Cite

“…Figure 5 shows an example transformation of a WebDSL entity Blog 18 to a JPA entity Java class Blog 21 . The title 19 property is transformed to a class property _title 22 , the accessor getTitle 23 , and the mutator setTitle 24 . The second property, entries 20 , also generates annotations to define static mapping to tables (@OneToMany 25 ) and dynamic behaviour such as save cascading [@Cascade(SAVE_UPDATE) 26 ].…”

Section: Implementing Webdsl By Code Generationmentioning

confidence: 99%

“…Modern attribute grammar systems such as Eli [24], JastAdd [23], and Silver [67] offer many specialized features with respect to the analysis of software languages. More recently, Aster [34] used strategic programming to abstract over common patterns in attribute equations.…”

Section: Future Workmentioning

confidence: 99%

Code generation by model transformation: a case study in transformation modularity

et al. 2009

View full text Add to dashboard Cite

The realization of model-driven software development requires effective techniques for implementing code generators for domain-specific languages. This paper identifies techniques for improving separation of concerns in the implementation of generators. The core technique is code generation by model transformation, that is, the generation of a structured representation (model) of the target program instead of plain text. This approach enables the transformation of code after generation, which in turn enables the extension of the target language with features that allow better modularity in code generation rules. The technique can also be applied to 'internal code generation' for the translation of high-level extensions of a DSL to lower-level constructs within the same DSL using model-to-model transformations. This paper refines our earlier description of code generation by model transformation with an improved architecture for the composition of model-to-model normalization rules, solving the problem of combining type analysis and transformation. Instead of coarse-grained stages that alternate between normalization and type analysis, we have developed a new style of type analysis that can be integrated with normalizing transformations in a fine-grained manner. The normalization strategy has a simple extension interface and integrates non-local, context-sensitive transformation rules. We have applied the techniques in a realistic case study of domain-specific language engineering, i.e. the code generator for WebDSL, using Stratego, a high-level transformation language that integrates model-to-model, modelto-code, and code-to-code transformations.

show abstract