Article (Scientific journals)
Implementing an Embedded Compiler using Program Transformation Rules
Bissyande, Tegawendé François D Assise; Réveillère, Laurent; Lawall, Julia et al.
2013In Software: Practice and Experience, p. 1..20
Peer reviewed


Full Text
Publisher postprint (1.63 MB)

All documents in ORBilu are protected by a user license.

Send to


Keywords :
DSL; compiler construction; internal languages; embedded languages; embedded compilers; program transformation
Abstract :
[en] Domain-specific languages (DSLs) are well-recognized to ease programming and improve robustness for a specific domain, by providing high-level domain-specific notations and verifications of domain-specific properties. The compiler of a DSL, however, is often difficult to develop and maintain, due to the need to define a specific treatment for a large and potentially increasing number of language constructs. To address this issue, we propose an approach for specifying a DSL compiler and verifier using control-flow sensitive concrete-syntax based matching rules. These rules either collect information about the source code to carry out verifications or perform transformations to carry out compilation. Because rules only mention the relevant constructs, using their concrete syntax, and hide the complexity of control-flow graph traversal, it is easy to understand the purpose of each rule. Furthermore, new compilation steps can be added using only a small number of lines of code. We explore this approach in the context of the z2z DSL for network gateway development, and show that the core of its compiler and verifier can be implemented in this manner.
Disciplines :
Computer science
Author, co-author :
Bissyande, Tegawendé François D Assise  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Réveillère, Laurent
Lawall, Julia
Bromberg, David
Muller, Gilles
Language :
Title :
Implementing an Embedded Compiler using Program Transformation Rules
Publication date :
06 September 2013
Journal title :
Software: Practice and Experience
Pages :
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 05 February 2014


Number of views
82 (2 by Unilu)
Number of downloads
265 (1 by Unilu)

Scopus citations®
Scopus citations®
without self-citations
WoS citations


Similar publications

Contact ORBilu