Show simple item record

dc.contributor.authorJuma, Nahid
dc.date.accessioned2015-08-26 14:27:14 (GMT)
dc.date.available2015-08-26 14:27:14 (GMT)
dc.date.issued2015-08-26
dc.date.submitted2015
dc.identifier.urihttp://hdl.handle.net/10012/9587
dc.description.abstractThis work studies the computational complexity of a tunable static type inference problem which was introduced in prior research [1]. The problem was assumed to be inherently difficult, without evidence, and a SAT solver was used to obtain a solution. In this thesis, we analyze the complexity of the inference problem. We prove that it is indeed highly unlikely that the problem can be solved efficiently. We also prove that the problem cannot be approximated efficiently to within a certain factor. We discuss the computational complexity of three restricted but useful versions of the problem, showing that whilst one of them can be solved in polynomial time, the other two are still inherently difficult. We discuss our efforts and the roadblocks we faced while attempting to conduct experiments to gain further insight into the properties which distinguish between hard and easy instances of the problem. References: [1] W. Dietl, M. D. Ernst and P. Müller, Tunable Static Inference for Generic Universe Types, European Conference on Object-Oriented Programming (ECOOP), July 2011, Best Paper Award.en
dc.language.isoenen
dc.publisherUniversity of Waterloo
dc.subjectType Inferenceen
dc.subjectComputational Complexityen
dc.subjectAlgorithmsen
dc.subjectGeneric Universe Typesen
dc.titleComplexity Analysis of Tunable Type Inference for Generic Universe Typesen
dc.typeMaster Thesisen
dc.pendingfalse
dc.subject.programElectrical and Computer Engineeringen
uws-etd.degree.departmentElectrical and Computer Engineeringen
uws-etd.degreeMaster of Applied Scienceen
uws.typeOfResourceTexten
uws.peerReviewStatusUnrevieweden
uws.scholarLevelGraduateen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record


UWSpace

University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages