A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Ivor Durham is currently working in the areas of software reliability, human engineering, and personal computing environments. He is writing a thesis on a methodology for developing fault-tolerant software. David A. Lamb is involved in software engineering, compilers, programming languages, and electronic mail. James B. Saxe is interested in computational complexity and is working on a thesis dealing with transformations of algorithms and circuits. More than one quarter of the errors made bydoi:10.1145/358413.358426 fatcat:pcst5b4mojfd7osbytahtprvpi