scispace - formally typeset
Open AccessJournal ArticleDOI

Stratego/XT 0.17. A language and toolset for program transformation

Martin Bravenboer, +3 more
- 01 Jun 2008 - 
- Vol. 72, Iss: 1, pp 52-70
Reads0
Chats0
TLDR
An overview ofStratego/XT 0.17 is given, including a description of the Stratego language and XT transformation tools; a discussion of the implementation techniques and software engineering process; and a descriptionof applications built with Strate go/XT.
About: 
This article is published in Science of Computer Programming.The article was published on 2008-06-01 and is currently open access. It has received 317 citations till now. The article focuses on the topics: Program transformation & Syntax (programming languages).

read more

Citations
More filters
Proceedings ArticleDOI

The spoofax language workbench: rules for declarative specification of languages and IDEs

Lennart C. L. Kats, +1 more
TL;DR: The architecture of Spoofax is described and idioms for high-level specifications of language semantics using rewrite rules are introduced, showing how analyses can be reused for transformations, code generation, and editor services such as error marking, reference resolving, and content completion.
Proceedings ArticleDOI

RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation

Paul Klint, +2 more
TL;DR: Rascal is a domain-specific language that takes away most of this boilerplate by integrating source code analysis and manipulation at the conceptual, syntactic, semantic and technical level.
Book ChapterDOI

WebDSL: A Case Study in Domain-Specific Language Engineering

Eelco Visser
TL;DR: A project in which the author designed and built WebDSL, a DSL for web applications with a rich data model, using several DSLs for DSL engineering: SDF for syntax definition and Stratego/XT for code generation.
Proceedings ArticleDOI

MLIR: scaling compiler infrastructure for domain specific computation

Chris Lattner, +9 more
TL;DR: MLIR as discussed by the authors is an approach to building reusable and extensible compiler infrastructure that facilitates the design and implementation of code generators, translators and optimizers at different levels of abstraction and across application domains, hardware targets and execution environments.
Book ChapterDOI

The State of the Art in Language Workbenches. Conclusions from the Language Workbench Challenge

Sebastian Erdweg, +22 more
TL;DR: The 2013 Language Workbench Challenge as discussed by the authors was the first edition of the LWC challenge, where participants were challenged to realize a given domain-specific language with their workbench as a basis for discussion and comparison.
References
More filters
Journal ArticleDOI

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, +3 more
- 01 Mar 2006 - 
TL;DR: It is shown that a combination of rippling and the use of meta-variables as a least-commitment device can provide novelty in induction rule construction techniques that can introduce novel recursive structures.
Book

Information Processing

Frank James Clark
Journal ArticleDOI

ANTLR: a predicated- LL(k) parser generator

Terence Parr, +1 more
- 01 Jul 1995 - 
TL;DR: ANTLR is introduced, a public‐domain parser generator that combines the flexibility of hand‐coded parsing with the convenience of a parser generator, which is a component of PCCTS.
Proceedings ArticleDOI

Proceedings of the 30th international conference on Software engineering

Ajitha Rajan, +2 more
Book

Modern Compiler Implementation in C

Andrew W. Appel, +1 more
TL;DR: This textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems.