Resource-Safe Systems Programming with Embedded Domain Specific Languages

Edwin Charles Brady; Kevin Hammond

doi:10.1007/978-3-642-27694-1_18

Resource-Safe Systems Programming with Embedded Domain Specific Languages

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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 language	English
Title of host publication	Practical Aspects of Declarative Languages
Subtitle of host publication	14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Editors	Claudio Russo, Neng-Fa Zhou
Publisher	Springer
Pages	242-257
Number of pages	16
Volume	7149
ISBN (Electronic)	978-3-642-27694-1
ISBN (Print)	978-3-642-27693-4
DOIs	https://doi.org/10.1007/978-3-642-27694-1_18
Publication status	Published - 2012
Event	14th International Symposium, PADL 2012 - Philadelphia, PA, United States Duration: 23 Jan 2012 → 24 Jan 2012

Publication series

Name	Lecture Notes in Computer Science
ISSN (Print)	0302-9743

Conference

Conference	14th International Symposium, PADL 2012
Country/Territory	United States
City	Philadelphia, PA
Period	23/01/12 → 24/01/12

Keywords

Domain Specific Languages
Resource Analysis
dependent types

Access to Document

10.1007/978-3-642-27694-1_18

EP/F030657/1 Adaptive Hardware Systems: Copy of Adaptive Hardware Systems with Novel Algorithmic Design and Guaranteed Resource Bounds
Hammond, K. (PI)
EPSRC
1/09/08 → 31/08/11
Project: Standard

Cite this

Brady, E. C., & Hammond, K. (2012). Resource-Safe Systems Programming with Embedded Domain Specific Languages. In C. Russo, & N.-F. Zhou (Eds.), Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings (Vol. 7149, pp. 242-257). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-642-27694-1_18

Brady, Edwin Charles ; Hammond, Kevin. / Resource-Safe Systems Programming with Embedded Domain Specific Languages. Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. editor / Claudio Russo ; Neng-Fa Zhou. Vol. 7149 Springer, 2012. pp. 242-257 (Lecture Notes in Computer Science).

@inproceedings{0090de6573b3487a8e45f1c14504972d,

title = "Resource-Safe Systems Programming with Embedded Domain Specific Languages",

abstract = "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.",

keywords = "Domain Specific Languages, Resource Analysis, dependent types",

author = "Brady, {Edwin Charles} and Kevin Hammond",

year = "2012",

doi = "10.1007/978-3-642-27694-1_18",

language = "English",

isbn = "978-3-642-27693-4",

volume = "7149",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "242--257",

editor = "Claudio Russo and Neng-Fa Zhou",

booktitle = "Practical Aspects of Declarative Languages",

address = "Netherlands",

note = "14th International Symposium, PADL 2012 ; Conference date: 23-01-2012 Through 24-01-2012",

}

Brady, EC & Hammond, K 2012, Resource-Safe Systems Programming with Embedded Domain Specific Languages. in C Russo & N-F Zhou (eds), Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. vol. 7149, Lecture Notes in Computer Science, Springer, pp. 242-257, 14th International Symposium, PADL 2012, Philadelphia, PA, United States, 23/01/12. https://doi.org/10.1007/978-3-642-27694-1_18

Resource-Safe Systems Programming with Embedded Domain Specific Languages. / Brady, Edwin Charles; Hammond, Kevin.
Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. ed. / Claudio Russo; Neng-Fa Zhou. Vol. 7149 Springer, 2012. p. 242-257 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Resource-Safe Systems Programming with Embedded Domain Specific Languages

AU - Brady, Edwin Charles

AU - Hammond, Kevin

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - Domain Specific Languages

KW - Resource Analysis

KW - dependent types

U2 - 10.1007/978-3-642-27694-1_18

DO - 10.1007/978-3-642-27694-1_18

M3 - Conference contribution

SN - 978-3-642-27693-4

VL - 7149

T3 - Lecture Notes in Computer Science

SP - 242

EP - 257

BT - Practical Aspects of Declarative Languages

A2 - Russo, Claudio

A2 - Zhou, Neng-Fa

PB - Springer

T2 - 14th International Symposium, PADL 2012

Y2 - 23 January 2012 through 24 January 2012

ER -

Brady EC, Hammond K. Resource-Safe Systems Programming with Embedded Domain Specific Languages. In Russo C, Zhou NF, editors, Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. Vol. 7149. Springer. 2012. p. 242-257. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-27694-1_18

Resource-Safe Systems Programming with Embedded Domain Specific Languages

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Projects

EP/F030657/1 Adaptive Hardware Systems: Copy of Adaptive Hardware Systems with Novel Algorithmic Design and Guaranteed Resource Bounds

Cite this