• DOI:10.1007/978-3-642-27694-1_18
Corpus ID: 32723377

Resource-Safe Systems Programming with Embedded Domain Specific Languages

@inproceedings{Brady2012ResourceSafeSP,
  title={Resource-Safe Systems Programming with Embedded Domain Specific Languages},
  author={E. Brady and K. Hammond},
  booktitle={PADL},
  year={2012}
}

E. Brady, K. Hammond

Published in PADL 2012

Computer Science

View via Publisher

eb.host.cs.st-andrews.ac.uk

Save to Library

Create Alert

Cite

Launch Research Feed

We introduce a new overloading notation that facilitates programming, modularity and reuse in Embedded Domain Specific Languages (EDSLs), and use it to reason about safe resource usage and state management. We separate the structural language constructs from our primitive operations, and show how precisely-typed functions can be lifted into the EDSL. In this way, we implement a generic framework for constructing state-aware EDSLs for systems programming.