Resource-Safe Systems Programming with Embedded Domain Specific Languages

Edwin Charles Brady, Kevin Hammond

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationPractical Aspects of Declarative Languages
Subtitle of host publication14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
EditorsClaudio Russo, Neng-Fa Zhou
Number of pages16
ISBN (Electronic)978-3-642-27694-1
ISBN (Print)978-3-642-27693-4
Publication statusPublished - 2012
Event14th International Symposium, PADL 2012 - Philadelphia, PA, United States
Duration: 23 Jan 201224 Jan 2012

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conference14th International Symposium, PADL 2012
Country/TerritoryUnited States
CityPhiladelphia, PA


  • Domain Specific Languages
  • Resource Analysis
  • dependent types


Dive into the research topics of 'Resource-Safe Systems Programming with Embedded Domain Specific Languages'. Together they form a unique fingerprint.

Cite this