Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Subject Lambda calculus Creator Oregon State University. Dept. Of Computer Science

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
A parallel intermediate representation based on Lambda expressions

Creator:

Oregon State University. Dept. of Computer Science and Budd, Timothy

Abstract:

The lambda calculus has frequently been used as an intermediate representation for programming languages, particularly for functional programming language systems. We introduce two simple extensions to the lambda calculus that describe potentially parallel computations. These extensions permit us to use the lambda calculus as an intermediate form for languages that...

Resource Type:

Research Paper

Full Text:

97331 budd@cs.orst.edu July 10, 1998 Abstract The lambda calculus has frequently been used as an