Supercompilation for datatypes

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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.
Original languageEnglish
Title of host publicationPerspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
EditorsAndrei Voronkov, Irina Virbitskaite
Number of pages16
Publication date2015
ISBN (Print)978-3-662-46822-7
ISBN (Electronic)978-3-662-46823-4
Publication statusPublished - 2015
EventInternational Ershov Informatics Conference, PSI 2014 - St. Petersburg, Russian Federation
Duration: 24 Jun 201427 Jun 2014
Conference number: 9


ConferenceInternational Ershov Informatics Conference, PSI 2014
LandRussian Federation
BySt. Petersburg
SeriesLecture notes in computer science

ID: 149085493