Formalizing homogeneous language embeddings

CLARK, Tony and TRATT, Laurence (2010). Formalizing homogeneous language embeddings. Electronic Notes in Theoretical Computer Science, 253 (7), 75-88.

[img]
Preview
PDF
lang_embedding.pdf - Published Version
Creative Commons Attribution.

Download (169kB) | Preview
Official URL: http://www.sciencedirect.com/science/article/pii/S...
Link to published version:: https://doi.org/10.1016/j.entcs.2010.08.033
Related URLs:

    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.

    Item Type: Article
    Research Institute, Centre or Group - Does NOT include content added after October 2018: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
    Departments - Does NOT include content added after October 2018: Faculty of Science, Technology and Arts > Department of Computing
    Identification Number: https://doi.org/10.1016/j.entcs.2010.08.033
    Page Range: 75-88
    Depositing User: Tony Clark
    Date Deposited: 19 Apr 2016 12:57
    Last Modified: 27 Jan 2018 01:18
    URI: http://shura.shu.ac.uk/id/eprint/11981

    Actions (login required)

    View Item View Item

    Downloads

    Downloads per month over past year

    View more statistics