Modular language implementation in Rascal – experience report

Basten, Bas; Bos, Jeroen van den; Hills, Mark; Klint, Paul; Lankamp, Arnold; Lisser, Bert; Ploeg, Auke van der; Storm, Tijs van der; Vinju, Jurgen

doi:10.1016/j.scico.2015.11.003

Cited by 28 publications

(30 citation statements)

References 39 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Rascal [26] is a specialized language for meta-programming. It provides builtin constructs for syntax definition, and strategic traversal and rewriting of trees.…”

Section: Journal Of Information and Organizational Sciencesmentioning

confidence: 99%

Abstract-Syntax-Driven Development of Oberon-0 Using YAJCo

Chodarev

Bacikova

2019

JIOS

View full text Add to dashboard Cite

YAJCo is a tool for the development of software languages based on an annotated language model. The model is represented by Java classes with annotations defining their mapping to concrete syntax. This approach to language definition enables the abstract syntax to be the central point of the development process, instead of concrete syntax. In this paper, a case study of Oberon-0 programming language development is presented. The study is based on the LTDA Tool Challenge and showcases details of abstract and concrete syntax definition using YAJCo, as well as the implementation of name resolution, type checking, model transformation, and code generation. The language was implemented in a modular fashion to demonstrate language extension mechanisms supported by YAJCo.

show abstract

“…Rascal [26] is a specialized language for meta-programming. It provides builtin constructs for syntax definition, and strategic traversal and rewriting of trees.…”

Section: Journal Of Information and Organizational Sciencesmentioning

confidence: 99%

Abstract-Syntax-Driven Development of Oberon-0 Using YAJCo

Chodarev

Bacikova

2019

JIOS

View full text Add to dashboard Cite

show abstract

“…P3 Structure should not define a field with the old field name P4 No field access expression to the old field Desugar Oberon-0 (DSO) transformation [6,53], translates for-loops and switch-statements to while-loops and nested if-statements, respectively.…”

Section: Experimental Evaluationmentioning

confidence: 99%

“…extending the abstraction for lists to include length in addition to shape of contents. 1 h ps://github.com/cwi-swat/php-analysis 1 data Nat = zero() | suc(Nat pred); 2 data Expr = var(str nm) | cst(Nat vl) 3 | mult(Expr el, Expr er); 4 5 Expr simplify(Expr expr) = 6 bottom-up visit (expr) { 7 case mult(cst(zero()), y) => cst(zero()) 8 case mult(x, cst(zero())) => cst(zero()) 9 }; Figure 2. The running example: eliminating multiplications by zero from expressions 4.…”

Section: Introductionmentioning

confidence: 99%

Verification of high-level transformations with inductive refinement types

Al-Sibahi

Jensen

Dimovski

et al. 2018

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences

View full text Add to dashboard Cite

High-level transformation languages like Rascal include expressive features for manipulating large abstract syntax trees: first-class traversals, expressive pattern matching, backtracking and generalized iterators. We present the design and implementation of an abstract interpretation tool, Rabit, for verifying inductive type and shape properties for transformations written in such languages. We describe how to perform abstract interpretation based on operational semantics, specifically focusing on the challenges arising when analyzing the expressive traversals and pattern matching. Finally, we evaluate Rabit on a series of transformations (normalization, desugaring, refactoring, code generators, type inference, etc.) showing that we can effectively verify stated properties.

show abstract

“…Modular and extensible language definition has also received a lot of attention in the software language engineering community (e.g., [20], [21], [22], [23]). Below, we review related work that addresses these problems in the context of MDE.…”

Section: B Reuse and Extension In Language Engineeringmentioning

confidence: 99%

Revisiting Visitors for Modular Extension of Executable DSMLs

Leduc

Degueule

Combemale

et al. 2017

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)

Self Cite

View full text Add to dashboard Cite

Abstract-Executable Domain-Specific Modeling Languages (xDSMLs) are typically defined by metamodels that specify their abstract syntax, and model interpreters or compilers that define their execution semantics. To face the proliferation of xDSMLs in many domains, it is important to provide language engineering facilities for opportunistic reuse, extension, and customization of existing xDSMLs to ease the definition of new ones. Current approaches to language reuse either require to anticipate reuse, make use of advanced features that are not widely available in programming languages, or are not directly applicable to metamodel-based xDSMLs. In this paper, we propose a new language implementation pattern, named REVISITOR, that enables independent extensibility of the syntax and semantics of metamodel-based xDSMLs with incremental compilation and without anticipation. We seamlessly implement our approach alongside the compilation chain of the Eclipse Modeling Framework, thereby demonstrating that it is directly and broadly applicable in various modeling environments. We show how it can be employed to incrementally extend both the syntax and semantics of the fUML language without requiring anticipation or re-compilation of existing code, and with acceptable performance penalty compared to classical handmade visitors.

show abstract

Modular language implementation in Rascal – experience report

Cited by 28 publications

References 39 publications

Abstract-Syntax-Driven Development of Oberon-0 Using YAJCo

Abstract-Syntax-Driven Development of Oberon-0 Using YAJCo

Verification of high-level transformations with inductive refinement types

Revisiting Visitors for Modular Extension of Executable DSMLs

Contact Info

Product

Resources

About