Graduate Thesis Or Dissertation

 

Update programming -- a safe approach to software maintenance Public Deposited

Contenu téléchargeable

Télécharger le fichier PDF
https://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/mc87ps97g

Descriptions

Attribute NameValues
Creator
Abstract
  • Software maintenance accounts for a large portion of the software development cost, particularly the process of updating programs either to adapt for requirement change or to enhance design or efficiency. Currently, program updates are generally performed manually by programmers using text editors. This is an unreliable method because syntax and type errors are easily introduced, not to mention logic and semantic errors. The problem with this method is viewing programs on a low level, namely, as streams of characters. Rather than the textual representation, we propose to view the programs as abstract data types and to update programs through programming updates in update languages. In this dissertation, we first study a specific program update problem, monadification, which is the process of automatic introduction of monads into functional programs. Later we investigate a more general problem of program updates and present an update language. We design a core calculus for the update language as well as its semantics and type system. Moreover, we study the problem of generic traversals, which itself is a means of reducing the effort for software maintenance, but also serves as a basis for implementing program updates and other metaprogramming tasks.
License
Resource Type
Date Available
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Committee Member
Academic Affiliation
Non-Academic Affiliation
Subject
Déclaration de droits
Publisher
Language
File Format
File Extent
  • 1197875 bytes
Replaces
Additional Information
  • description.provenance : Approved for entry into archive by Julie Kurtz(julie.kurtz@oregonstate.edu) on 2006-09-21T16:34:51Z (GMT) No. of bitstreams: 1 main.pdf: 1197875 bytes, checksum: 0bc2ac850cb2f187c4616022d502abe6 (MD5)
  • description.provenance : Made available in DSpace on 2006-09-25T15:46:59Z (GMT). No. of bitstreams: 1 main.pdf: 1197875 bytes, checksum: 0bc2ac850cb2f187c4616022d502abe6 (MD5)
  • description.provenance : Submitted by Deling Ren (rend@onid.orst.edu) on 2006-09-19T23:02:25Z No. of bitstreams: 1 main.pdf: 1197875 bytes, checksum: 0bc2ac850cb2f187c4616022d502abe6 (MD5)

Des relations

Parents:

This work has no parents.

Dans Collection:

Articles