Skip to content

Research at St Andrews

Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation

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

Abstract

Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effective and, unusually, easy to use technique for the efficient implementation of embedded domain-specific languages. We achieve this by exploiting dependent types and by following some simple rules in the definition of the interpreter for the domain-specific language. We present experimental evidence that partial evaluation of programs in domain-specific languages can yield efficient residual programs whose performance is competitive with their Java and C equivalents and which are also, through the use of dependent types, verifiably resource-safe. Using our technique, it follows that a verifiably correct and resource-safe program can also be an efficient program.
Close

Details

Original languageEnglish
Title of host publicationICFP '10
Subtitle of host publicationProceedings of the 15th ACM SIGPLAN international conference on Functional programming
PublisherACM
Pages297-308
Number of pages12
ISBN (Print)978-1-60558-794-3
DOIs
StatePublished - 2010
EventICFP 2010 - The 15th ACM SIGPLAN International Conference on Functional Programming - Baltimore, United States
Duration: 27 Sep 201029 Sep 2010

Conference

ConferenceICFP 2010 - The 15th ACM SIGPLAN International Conference on Functional Programming
CountryUnited States
CityBaltimore
Period27/09/1029/09/10

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

View graph of relations

Related by author

  1. Resource-Safe Systems Programming with Embedded Domain Specific Languages

    Brady, E. C. & Hammond, K. 2012 Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. Russo, C. & Zhou, N-F. (eds.). Springer, Vol. 7149, p. 242-257 16 p. (Lecture Notes in Computer Science)

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

  2. Lightweight Invariants with Full Dependent Types

    Brady, E. C., Herrmann, C. A. & Hammond, K. 2008 Trends in Functional Programming. Intellect Books

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

  3. Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types

    Brady, E. C., McKinna, J. H. & Hammond, K. 2008 Trends in Functional Programming. Intellect Books, Vol. 8, p. 159-176

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

ID: 45438299