Formalizing homogeneous language embeddings

Abstract

The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler. Current homogeneous embedding approaches either restrict the embedding of multiple DSLs in order to provide safety guarantees, or allow multiple DSLs to be embedded but force the user to deal with the interoperability burden. In this paper we present the μ-calculus which allows parameterisable language embeddings to be specified and analysed. By reducing the problem to its core essentials we are able to show how multiple, expressive language embeddings can be defined in a homogeneous embedding context. We further show how variant calculi with safety guarantees can be defined.

Publication DOI: https://doi.org/10.1016/j.entcs.2010.08.033
Divisions: College of Engineering & Physical Sciences
Additional Information: Crown Copyright © 2010 Published by Elsevier B.V. www.elsevier.com/locate/entcs doi:10.1016/j.entcs.2010.08.033 Open access under CC BY-NC-ND license.
Uncontrolled Keywords: Domain specific languages,formal language specification,language embeddings,Theoretical Computer Science,Computer Science(all)
Publication ISSN: 1571-0661
Last Modified: 08 Jan 2024 08:45
Date Deposited: 31 May 2018 13:30
Full Text Link:
Related URLs: http://www.scop ... tnerID=8YFLogxK (Scopus URL)
https://www.sci ... 112X?via%3Dihub (Publisher URL)
PURE Output Type: Article
Published Date: 2010-09-17
Authors: Clark, Tony (ORCID Profile 0000-0003-3167-0739)
Tratt, Laurence

Export / Share Citation


Statistics

Additional statistics for this record