2014 | OriginalPaper | Chapter
Building Code Generators for DSLs Using a Partial Evaluator for the Xtend Language
Author : Klaus Birken
Published in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
For several years now, domain-specific languages (DSLs) are a mainstream tool for establishing model-based development environments in real-world projects. Typical back-end tools for external DSLs are interpreters and code generators.
Partial evaluation is a well-known technique for program specialization, with the use case of specializing interpreters to target programs. However, the automatic generation of code generators from a DSL’s interpreter is by no means ubiquitous in industrial DSL projects. In this paper, we show how interpreters for a DSL can be used as a basis for automatic generation of efficient target code. This is possible by implementing a partial evaluator for the mainstream DSL toolset Xtext/Xtend.