Formalizing homogeneous language embeddings

Tony Clark*, Laurence Tratt

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)75-88
Number of pages14
JournalElectronic Notes in Theoretical Computer Science
Issue number7
Publication statusPublished - 17 Sept 2010

Bibliographical note

Crown Copyright © 2010 Published by Elsevier B.V.
Open access under CC BY-NC-ND license.


  • Domain specific languages
  • formal language specification
  • language embeddings


Dive into the research topics of 'Formalizing homogeneous language embeddings'. Together they form a unique fingerprint.

Cite this