An update calculus for expressing type-safe program updates Public Deposited

http://ir.library.oregonstate.edu/concern/technical_reports/r207tq698

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • Many software maintenance problems are caused by using text editors to change programs. A more systematic and reliable way of performing program updates is to express changes with an update language. In particular, updates should preserve the syntax- and type-correctness of the transformed object programs. We describe an update calculus that can be used to update lambda-calculus programs. We develop a type system for the update language that infers the possible type changes that can be caused by an update program. We demonstrate that type-safe update programs that fulfill certain structural constraints preserve the type-correctness of lambda terms. The update calculus can serve as a basis for higher-level update languages, such as for Haskell or Java. We briefly indicate a possible design of these update languages.
Resource Type
Date Available
Date Issued
Series
Keyword
Subject
Rights Statement
Publisher
Peer Reviewed
Language
Replaces
Additional Information
  • description.provenance : Approved for entry into archive by Laura Wilson(laura.wilson@oregonstate.edu) on 2012-02-28T00:02:38Z (GMT) No. of bitstreams: 1 An update calculus for expressing type-safe program updates.pdf: 211675 bytes, checksum: 7686965f5afadb077b58937783282341 (MD5)
  • description.provenance : Submitted by Laura Wilson (laura.wilson@oregonstate.edu) on 2012-02-28T00:01:31Z No. of bitstreams: 1 An update calculus for expressing type-safe program updates.pdf: 211675 bytes, checksum: 7686965f5afadb077b58937783282341 (MD5)
  • description.provenance : Made available in DSpace on 2012-02-28T00:02:38Z (GMT). No. of bitstreams: 1 An update calculus for expressing type-safe program updates.pdf: 211675 bytes, checksum: 7686965f5afadb077b58937783282341 (MD5) Previous issue date: 2002-10

Relationships

In Administrative Set:
Last modified: 07/18/2017

Downloadable Content

Download PDF
Citations:

EndNote | Zotero | Mendeley

Items