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

Edwin Charles Brady, Kevin Hammond

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

13 Citations (Scopus)

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.
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
Publication statusPublished - 2010
EventICFP 2010 - The 15th ACM SIGPLAN International Conference on Functional Programming - Baltimore, United States
Duration: 27 Sept 201029 Sept 2010

Conference

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

Fingerprint

Dive into the research topics of 'Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation'. Together they form a unique fingerprint.

Cite this