Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Subject Lambda calculus Resource Type Research Paper Subject Lambda calculus -- Computer programs

An update calculus for expressing type-safe program updates

Creator:

Oregon State University. Dept. of Computer Science, Erwig, Martin, and Ren, Deling

Abstract:

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...

Resource Type:

Research Paper

Full Text:

of the transformed object programs. We describe an update calculus that can be used to update lambda