Output details
11 - Computer Science and Informatics
University of St Andrews
Return to search
Output 0 of 0 in the submission
Output title
Resource-Safe Systems Programming with Embedded Domain Specific Languages
Type
E - Conference contribution
Name of conference/published proceedings
Practical Aspects of Declarative Languages : 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Volume number
-
Issue number
-
First page of article
242
ISSN of proceedings
0302-9743
Year of publication
2012
URL
-
Number of additional authors
1
Additional information
<08>We introduce a novel programming construct, "dsl", and give its formal semantics and several examples. This is a conceptually simple but extremely powerful construct which allows the overloading of name binding. Overloading of language features is an important tool for embedded domain specific language designers - the "dsl" construct simultaneously gives extra flexibility in overloading and a readable and writable syntax for end users. The examples in the paper show how the construct can be used to build composable DSLs for verifying resource usage, and verifying network protocols, and how such DSLs can make program verification accessible to non-specialists.
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Programming languages
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
