Supercompilation for datatypes
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
equivalent programs that perform fewer computation steps and
allocates less memory. A transformed program defines new functions
that are combinations of functions from the original program, but
the datatypes in the transformed program is a subset of the
datatypes defined in the original program. We will change this by
extending supercompilation to create new datatypes.
We do this by creating new constructors that combine several
constructors from the original program in a way reminiscent of how
supercompilation combines several functions to create new functions.
| Bidragets oversatte titel | Supercompilation for datatyper |
|---|---|
| Originalsprog | Engelsk |
| Titel | Perspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers |
| Redaktører | Andrei Voronkov, Irina Virbitskaite |
| Antal sider | 16 |
| Forlag | Springer |
| Publikationsdato | 2015 |
| Sider | 232-247 |
| ISBN (Trykt) | 978-3-662-46822-7 |
| ISBN (Elektronisk) | 978-3-662-46823-4 |
| DOI | |
| Status | Udgivet - 2015 |
| Begivenhed | International Ershov Informatics Conference, PSI 2014 - St. Petersburg, Rusland Varighed: 24 jun. 2014 → 27 jun. 2014 Konferencens nummer: 9 |
Konference
| Konference | International Ershov Informatics Conference, PSI 2014 |
|---|---|
| Nummer | 9 |
| Land | Rusland |
| By | St. Petersburg |
| Periode | 24/06/2014 → 27/06/2014 |
| Navn | Lecture notes in computer science |
|---|---|
| Vol/bind | 8974 |
| ISSN | 0302-9743 |
Bibliografisk note
@inproceedings{DBLP:conf/ershov/Mogensen14,
author = {Torben {\AE}gidius Mogensen},
title = {Supercompilation for Datatypes},
booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics
Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
Revised Selected Papers},
pages = {232--247},
year = {2014},
crossref = {DBLP:conf/ershov/2014},
url = {http://dx.doi.org/10.1007/978-3-662-46823-4_19},
doi = {10.1007/978-3-662-46823-4_19},
timestamp = {Mon, 20 Apr 2015 19:59:08 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/ershov/Mogensen14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
ID: 149085493