Browsing Technical Reports (Electrical Engineering and Computer Science) by Subject "soundness of updates"

Now showing items 1-1 of 1

An update calculus for expressing type-safe program updates

Oregon State University. Dept. of Computer Science; Erwig, Martin; Ren, Deling (Corvallis, OR : Oregon State University, Dept. of Computer Science, 2002-10)

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