Skip to content

Research at St Andrews

Resource-Safe Systems Programming with Embedded Domain Specific Languages

Research output: Chapter in Book/Report/Conference proceedingConference 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.
Close

Details

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
PublisherSpringer
Pages242-257
Number of pages16
Volume7149
ISBN (Electronic)978-3-642-27694-1
ISBN (Print)978-3-642-27693-4
DOIs
StatePublished - 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

Conference

Conference14th International Symposium, PADL 2012
CountryUnited States
CityPhiladelphia, PA
Period23/01/1224/01/12

    Research areas

  • Domain Specific Languages, Resource Analysis, dependent types

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Type driven development of concurrent communicating systems

    Brady, E. C. 7 Jul 2017 In : Computer Science. 18, 3, 22 p., 1413

    Research output: Contribution to journalArticle

  2. Sequential decision problems, dependent types and generic solutions

    Botta, N., Jansson, P., Ionescu, C., Christiansen, D. & Brady, E. C. 17 Mar 2017 In : Logical Methods in Computer Science. 13, 1, 23 p., 7

    Research output: Contribution to journalArticle

  3. Type-driven development with Idris

    Brady, E. C. Mar 2017 Shelter Island: Manning Publications Co.480 p.

    Research output: Book/ReportBook

  4. Automatically proving equivalence by type-safe reflection

    Slama, F. & Brady, E. C. 2017 Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Geuvers, H., England, M., Hasan, O., Rabe, F. & Teschke, O. (eds.). Cham: Springer, p. 40-55 (Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence); vol. 10383)

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

  5. Elaborator reflection: extending Idris in Idris

    Christiansen, D. & Brady, E. C. 4 Sep 2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. New York: ACM, p. 284-297

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

ID: 15435534