Type-correct changes — a safe approach to version control implementation Public Deposited

http://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/47429f27z

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • Ensuring correctness of real-world software applications is a challenging task. Testing can be used to find many bugs, but is typically not sufficient for proving correctness or even eliminating entire classes of bugs. However, formal proof and verification techniques tend to be very heavy weight and are simply not available for day to day use in many common programming environments. We demonstrate a form of light-weight proof assistant by using the type checking features of the programming language Haskell with existing extensions. We apply this work to the Open Source version control system Darcs. The properties checked by our approach are derived directly from the data model used by Darcs. This allows us to eliminate entire classes of bugs at compile time. We also examine how these techniques improve the quality of the Darcs codebase and the challenges that arise when applying these techniques in practice.
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
Language
Replaces
Additional Information
  • description.provenance : Made available in DSpace on 2009-04-06T20:21:10Z (GMT). No. of bitstreams: 1 thesis.pdf: 527986 bytes, checksum: d3004e8f593a27b71fdd6689887766b8 (MD5)
  • description.provenance : Approved for entry into archive by Julie Kurtz(julie.kurtz@oregonstate.edu) on 2009-04-06T17:41:12Z (GMT) No. of bitstreams: 1 thesis.pdf: 527986 bytes, checksum: d3004e8f593a27b71fdd6689887766b8 (MD5)
  • description.provenance : Submitted by Jason Dagit (dagitj@onid.orst.edu) on 2009-04-05T22:43:17Z No. of bitstreams: 1 thesis.pdf: 527986 bytes, checksum: d3004e8f593a27b71fdd6689887766b8 (MD5)
  • description.provenance : Approved for entry into archive by Linda Kathman(linda.kathman@oregonstate.edu) on 2009-04-06T20:21:07Z (GMT) No. of bitstreams: 1 thesis.pdf: 527986 bytes, checksum: d3004e8f593a27b71fdd6689887766b8 (MD5)

Relationships

In Administrative Set:
Last modified: 10/20/2017

Downloadable Content

Download PDF
Citations:

EndNote | Zotero | Mendeley

Items