Experience report: a do-it-yourself high-assurance compiler
ICFP, pp. 335-340, 2012.
Embedded domain-specific languages (EDSLs) are an approach for quickly building new languages while maintaining the advantages of a rich metalanguage. We argue in this experience report that the "EDSL approach" can surprisingly ease the task of building a high-assurance compiler. We do not strive to build a fully formally-verified tool-ch...More
Get fulltext within 24h
Full Text (Upload PDF)
PPT (Upload PPT)