Formalizing homogeneous language embeddings.

Clark, Tony and Tratt, Laurence (2010) Formalizing homogeneous language embeddings. Electronic Notes in Theoretical Computer Science, 253 (7). pp. 75-88. ISSN 1571-0661

[img]
Preview
PDF
Download (169kB)
This item is available in: Library Catalogue

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 \mu-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 user-defined safety criteria can be defined.

Item Type: Article
Additional Information: Originally presented as a paper at the Workshop on language descriptions tools and applications held in York, 2009.
Research Areas: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Intelligent Environments Research Group
A. > School of Science and Technology > Computer Science > SensoLab group
Item ID: 6977
Notes on copyright: Post refereed version as permitted by publisher.
Depositing User: Tony Clark
Date Deposited: 03 Feb 2011 10:59
Last Modified: 13 Oct 2016 14:22
URI: http://eprints.mdx.ac.uk/id/eprint/6977

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year