Show simple item record

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorHage, J.
dc.contributor.authorKoot, R.
dc.date.accessioned2012-10-18T17:00:49Z
dc.date.available2012-10-18
dc.date.available2012-10-18T17:00:49Z
dc.date.issued2012
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/11836
dc.description.abstractIn this thesis we attempt to answer the research question: Can we use a type and effect system in combination with refinement types to develop a pattern-match analysis for a non-strict higher-order functional language that is both performant and precise enough to be of practical use? In Chapter 1 we present a number of examples to demonstrate why this is an interesting problem. In Chapter 2 we give a short in- troduction to the relevant concepts of the research question: higher- order functional languages and type and effect systems. In Chap- ter 3 we give an overview of the pattern match analysis we devel- oped and give a detailed description of the constraint generation and constraint solving phases in respectively Chapter 4 and Chap- ter 5. In Chapter 7 we discussion the implementation of the analysis we have built. We evaluate the effectiveness and limitations of our analysis in Chapter 6. In Chapter 8 we present work related to our research question and discuss which aspects of that work are rele- vant to or different from our proposed system. Finally, in Chapter 9, we propose a number of directions for further research and future implementation work to improve the precision and applicability of the analysis.
dc.description.sponsorshipUtrecht University
dc.format.extent514519 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.titleHigher-Order Pattern Match Analysis
dc.type.contentMaster Thesis
dc.rights.accessrightsOpen Access
dc.subject.keywordsfunctional programming, static program analysis, pattern matching, type and effect systems
dc.subject.courseuuComputing Science


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record