Formalizing Homogeneous Language Embeddings

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

• Type: Journal
• Year: 2010
• Where: ENTCS
• Authors: Tony Clark, Laurence Tratt
• Keywords: Embedding, ENTCS 2010, Homogeneous Embedding, Safety Guarantees, Software Engineering