Resource-Safe Systems Programming with Embedded Domain Specific Languages

@inproceedings{Brady2012ResourceSafeSP,
  title={Resource-Safe Systems Programming with Embedded Domain Specific Languages},
  author={Edwin Brady and Kevin Hammond},
  booktitle={PADL},
  year={2012}
}
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. 

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
5 Extracted Citations
20 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.

Similar Papers

Loading similar papers…