Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

Unembedding domain-specific languages

Atkey, Robert and Lindley, Sam and Yallop, Jeremy (2009) Unembedding domain-specific languages. [Proceedings Paper]

Full text not available in this repository. (Request a copy from the Strathclyde author)

Abstract

Higher-order abstract syntax provides a convenient way of embedding domain-specific languages, but is awkward to analyse and manipulate directly. We explore the boundaries of higher-order abstract syntax. Our key tool is the unembedding of embedded terms as de Bruijn terms, enabling intensional analysis. As part of our solution we present techniques for separating the definition of an embedded program from its interpretation, giving modular extensions of the embedded language, and different ways to encode the types of the embedded language.

Item type: Proceedings Paper
ID code: 34487
Keywords: domain-specific languages , coding, syntax, programming environments, Electronic computers. Computer science
Subjects: Science > Mathematics > Electronic computers. Computer science
Department: Faculty of Science > Computer and Information Sciences
Related URLs:
Depositing user: Pure Administrator
Date Deposited: 14 Nov 2011 10:20
Last modified: 06 Aug 2013 11:41
URI: http://strathprints.strath.ac.uk/id/eprint/34487

Actions (login required)

View Item