University of Limerick Institutional Repository

A hierarchy of program transformers

DSpace Repository

Show simple item record

dc.contributor.author Hamilton, Geoff W.
dc.date.accessioned 2012-10-11T15:38:14Z
dc.date.available 2012-10-11T15:38:14Z
dc.date.issued 2012
dc.identifier.uri http://hdl.handle.net/10344/2603
dc.description peer-reviewed en_US
dc.description.abstract In this paper, we describe a hierarchy of program transformers in which the transformer at each level of the hierarchy builds on top of the transformers at lower levels. The program transformer at the bottom of the hierarchy corresponds to positive supercompilation, and that at the next level corresponds to the rst published de nition of distillation [4]. We then show how the more recently published de nition of distillation [5] can be described using this hierarchy. We see that this moves up through the levels of the transformation hierarchy until no further improvements can be made. The resulting de nition of distillation uses only nite data structures, as opposed to the de nition in [5], and we therefore argue that it is easier to understand and to implement. en_US
dc.language.iso eng en_US
dc.relation.ispartofseries Third International Workshop on Metacomputation;
dc.subject program transformers en_US
dc.subject functional programming language en_US
dc.subject algorithms en_US
dc.subject programs en_US
dc.title A hierarchy of program transformers en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor SFI en_US
dc.relation.projectid 10/CE/I1855 en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics