A Formal Foundation for Variational Programming Using the Choice Calculus Public Deposited

http://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/8p58ph92j

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • In this thesis, we present semantic equivalence rules for an extension of the choice calculus and sound operations for an implementation of variational lists. The choice calculus is a calculus for describing variation and the formula choice calculus is an extension with formulas. We prove semantic equivalence rules for the formula choice calculus. Variational lists are functional data structures for representing and computing with variation in lists using the choice calculus. We prove map and bind operations are sound for an implementation of variational lists. These proofs are written and verified in the language of the Coq proof assistant.
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
Rights Statement
Peer Reviewed
Language
Replaces
Additional Information
  • description.provenance : Made available in DSpace on 2016-06-23T17:09:00Z (GMT). No. of bitstreams: 1 HubbardSpencerM2016.pdf: 491758 bytes, checksum: cf82fd3a9a0f9e46880409b93f896831 (MD5) Previous issue date: 2016-06-01
  • description.provenance : Approved for entry into archive by Laura Wilson(laura.wilson@oregonstate.edu) on 2016-06-23T17:09:00Z (GMT) No. of bitstreams: 1 HubbardSpencerM2016.pdf: 491758 bytes, checksum: cf82fd3a9a0f9e46880409b93f896831 (MD5)
  • description.provenance : Submitted by Spencer Hubbard (hubbarsp@oregonstate.edu) on 2016-06-10T19:33:01Z No. of bitstreams: 1 HubbardSpencerM2016.pdf: 491758 bytes, checksum: cf82fd3a9a0f9e46880409b93f896831 (MD5)
  • description.provenance : Approved for entry into archive by Julie Kurtz(julie.kurtz@oregonstate.edu) on 2016-06-21T17:07:34Z (GMT) No. of bitstreams: 1 HubbardSpencerM2016.pdf: 491758 bytes, checksum: cf82fd3a9a0f9e46880409b93f896831 (MD5)

Relationships

In Administrative Set:
Last modified: 08/22/2017

Downloadable Content

Download PDF
Citations:

EndNote | Zotero | Mendeley

Items