Supercompilation for datatypes

Torben Ægidius Mogensen

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

Supercompilation for datatypes

Bidragets oversatte titel: Supercompilation for datatyper

Torben Ægidius Mogensen

Datalogisk Institut

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.

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	https://doi.org/10.1007/978-3-662-46823-4_19
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/Område	Rusland
By	St. Petersburg
Periode	24/06/2014 → 27/06/2014

Navn	Lecture notes in computer science
Vol/bind	8974
ISSN	0302-9743

Adgang til dokumentet

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

Citationsformater

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. red. / Andrei Voronkov; Irina Virbitskaite. Springer, 2015. s. 232-247 (Lecture notes in computer science, Bind 8974).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Mogensen, TÆ 2015, Supercompilation for datatypes. i A Voronkov & I Virbitskaite (red), 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, bind 8974, s. 232-247, International Ershov Informatics Conference, PSI 2014, St. Petersburg, Rusland, 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 -