Supercompilation for datatypes

Torben Ægidius Mogensen

doi:10.1007/978-3-662-46823-4_19

Supercompilation for datatypes

Department of Computer Science

Abstract

Supercompilation is a method of transforming programs to obtain
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.

Translated title of the contribution	Supercompilation for datatyper
Original language	English
Title of host publication	Perspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
Editors	Andrei Voronkov, Irina Virbitskaite
Number of pages	16
Publisher	Springer
Publication date	2015
Pages	232-247
ISBN (Print)	978-3-662-46822-7
ISBN (Electronic)	978-3-662-46823-4
DOIs	https://doi.org/10.1007/978-3-662-46823-4_19
Publication status	Published - 2015
Event	International Ershov Informatics Conference, PSI 2014 - St. Petersburg, Russian Federation Duration: 24 Jun 2014 → 27 Jun 2014 Conference number: 9

Conference

Conference	International Ershov Informatics Conference, PSI 2014
Number	9
Country/Territory	Russian Federation
City	St. Petersburg
Period	24/06/2014 → 27/06/2014

Series	Lecture notes in computer science
Volume	8974
ISSN	0302-9743

Access to Document

10.1007/978-3-662-46823-4_19

Cite this

Mogensen, T. Æ. (2015). Supercompilation for datatypes. In A. Voronkov, & I. Virbitskaite (Eds.), Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (pp. 232-247). Springer. Lecture notes in computer science Vol. 8974 https://doi.org/10.1007/978-3-662-46823-4_19

Supercompilation for datatypes. / Mogensen, Torben Ægidius.

Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. ed. / Andrei Voronkov; Irina Virbitskaite. Springer, 2015. p. 232-247 (Lecture notes in computer science, Vol. 8974).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Mogensen, TÆ 2015, Supercompilation for datatypes. in A Voronkov & I Virbitskaite (eds), Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Springer, Lecture notes in computer science, vol. 8974, pp. 232-247, International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russian Federation, 24/06/2014. https://doi.org/10.1007/978-3-662-46823-4_19

@inproceedings{604e70aa2c8f47319c8b45b40c0e6788,

title = "Supercompilation for datatypes",

abstract = " Supercompilation is a method of transforming programs to obtain 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.",

author = "Mogensen, {Torben {\AE}gidius}",

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} }; International Ershov Informatics Conference, PSI 2014, PSI 2014 ; Conference date: 24-06-2014 Through 27-06-2014",

year = "2015",

doi = "10.1007/978-3-662-46823-4_19",

language = "English",

isbn = "978-3-662-46822-7",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "232--247",

editor = "Andrei Voronkov and Irina Virbitskaite",

booktitle = "Perspectives of system informatics",

}

TY - GEN

T1 - Supercompilation for datatypes

AU - Mogensen, Torben Ægidius

N1 - Conference code: 9

PY - 2015

Y1 - 2015

N2 - Supercompilation is a method of transforming programs to obtain 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.

AB - Supercompilation is a method of transforming programs to obtain 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.

U2 - 10.1007/978-3-662-46823-4_19

DO - 10.1007/978-3-662-46823-4_19

M3 - Article in proceedings

SN - 978-3-662-46822-7

T3 - Lecture notes in computer science

SP - 232

EP - 247

BT - Perspectives of system informatics

A2 - Voronkov, Andrei

A2 - Virbitskaite, Irina

PB - Springer

T2 - International Ershov Informatics Conference, PSI 2014

Y2 - 24 June 2014 through 27 June 2014

ER -