Standard
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
Harvard
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
APA
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
Vancouver
Mogensen TÆ.
Supercompilation for datatypes. In Voronkov A, Virbitskaite I, editors, Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Springer. 2015. p. 232-247. (Lecture notes in computer science, Vol. 8974).
https://doi.org/10.1007/978-3-662-46823-4_19
Author
Mogensen, Torben Ægidius. / Supercompilation for datatypes. Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. editor / Andrei Voronkov ; Irina Virbitskaite. Springer, 2015. pp. 232-247 (Lecture notes in computer science, Vol. 8974).
Bibtex
@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",
address = "Switzerland",
}
RIS
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 -