Show simple item record

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorJeuring, J.T.
dc.contributor.authorEekelen, J.G.B. van
dc.date.accessioned2018-07-19T17:04:36Z
dc.date.available2018-07-19T17:04:36Z
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/29565
dc.description.abstractWhen writing code, occasionally the need comes up to change the data representation or underlying data structures. For example because a dierent structure is more efficient, or because another library is better maintained. Manually replacing instances of the old datatype to the new datatype is tedious and error-prone, so this is a good candidate for automation. In this thesis, we will investigate a type system-based transformation system for rewriting expressions to make use of dierent datatypes. Specifically, we deal with the issues presented by pattern matching and custom datatype definitions. In this, we build on previous work done by Leather et al.
dc.description.sponsorshipUtrecht University
dc.format.extent235057
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.titleType-Changing Program Transformations with Pattern Matching
dc.type.contentMaster Thesis
dc.rights.accessrightsOpen Access
dc.subject.keywordsProgram Transformation, Type Systems, Pattern Matching, Datatypes
dc.subject.courseuuSoftware Technology


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record