Variational Typing and Its Applications Public Deposited

http://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/br86b6641

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs exponentially faster than the strategy of generating all plain programs and applying type inference to them separately. I also present an error-tolerant version of variational type inference to deliver better feedback in the presence of ill-typed plain programs. All presented algorithms require various kinds of variational unification. I prove that all these problems are decidable and unitary, and I develop sound and complete unification algorithms. The idea of variational typing has many applications. As one example, I present how variational typing can be employed to improve the diagnosis of type errors in functional programs, a problem that has been extensively studied.
Resource Type
Date Available
Date Copyright
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Committee Member
Academic Affiliation
Non-Academic Affiliation
Keyword
Subject
Rights Statement
Peer Reviewed
Language
Replaces
Additional Information
  • description.provenance : Made available in DSpace on 2015-07-08T17:41:35Z (GMT). No. of bitstreams: 1 ShengChen2015.pdf: 7709133 bytes, checksum: 5ebad6033eb05d1c55075568b1ab0da7 (MD5) Previous issue date: 2015-07-01
  • description.provenance : Approved for entry into archive by Laura Wilson(laura.wilson@oregonstate.edu) on 2015-07-08T17:41:35Z (GMT) No. of bitstreams: 1 ShengChen2015.pdf: 7709133 bytes, checksum: 5ebad6033eb05d1c55075568b1ab0da7 (MD5)
  • description.provenance : Approved for entry into archive by Julie Kurtz(julie.kurtz@oregonstate.edu) on 2015-07-06T16:36:21Z (GMT) No. of bitstreams: 1 ShengChen2015.pdf: 7709133 bytes, checksum: 5ebad6033eb05d1c55075568b1ab0da7 (MD5)
  • description.provenance : Submitted by Sheng Chen (chenshen@onid.orst.edu) on 2015-07-02T21:32:08Z No. of bitstreams: 1 ShengChen2015.pdf: 7709133 bytes, checksum: 5ebad6033eb05d1c55075568b1ab0da7 (MD5)

Relationships

Parents:

This work has no parents.

Last modified

Downloadable Content

Download PDF

Items