Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

ENTCS
2010

favoriteEmaildiscussreport

110views more ENTCS 2010»

Formalizing Homogeneous Language Embeddings

13 years 1 months ago

Formalizing Homogeneous Language Embeddings

Download tratt.net

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

Tony Clark, Laurence Tratt

Real-time Traffic

Embedding | ENTCS 2010 | Homogeneous Embedding | Safety Guarantees | Software Engineering |

claim paper

Related Content

» A Homogeneous Reaction Rule Language for Complex Event Processing

» Program Logics for Homogeneous Metaprogramming

» Representing Embedded System Sequence Diagrams as a Formal Language

» Embedding Domain Specific Languages in the Attribute Grammar Formalism

» On the Difference between Bridge Rules and Lifting Axioms

» Design and Specification of Embedded Systems in Java Using Successive Formal Refinement

» A Formal Embedding of AgentSpeakL in 3APL

» Transactorbased Formal Verification of Realtime Embedded Systems

» Formalizing HigherOrder Mobile Embedded Business Processes with Binding Bigraphs

Post Info
More Details (n/a)

Added	02 Mar 2011
Updated	02 Mar 2011
Type	Journal
Year	2010
Where	ENTCS
Authors	Tony Clark, Laurence Tratt

Comments (0)