2018/08/03 by Amir Shaikhha, Shaikhha, Amir, Vojin Jovanović +3
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL)
paper · pdf · doi:10.48550/arxiv.1808.01344
openalex publication_date 2018/08/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, we present a framework to generate compilers for embedded domain-specific languages (EDSLs). This framework provides facilities to automatically generate the boilerplate code required for building DSL compilers on top of extensible optimizing compilers. We evaluate the practicality of our framework by demonstrating several use-cases successfully built with it.