Formalizing homogeneous language embeddings.

Clark, T. and Tratt, L., 2009. Formalizing homogeneous language embeddings. In: Language Descriptions Tools and Applications (LDTA), 28-29 March 2009, York, England. (Unpublished)

Full text available as:

[img]
Preview
PDF
115kB

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 m-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:Conference or Workshop Item (Paper)
Subjects:Generalities > Computer Science and Informatics
Group:School of Design, Engineering & Computing
ID Code:10666
Deposited By:Dr Laurence Tratt LEFT
Deposited On:30 Aug 2009 13:48
Last Modified:07 Mar 2013 15:11

Document Downloads

More statistics for this item...
Repository Staff Only -
BU Staff Only -
Help Guide - Editing Your Items in BURO