Butler W. Lampson's Turing Award lecture, 1992.
... we have learned something about how to do the job more precisely, by writing more precise specifications, and by showing more precisely that an implementation meets its specification. Methods for doing this are of both intellectual and practical interest. I will explain the most useful such method and illustrate it with two examples
I can't find a transcript of the lecture but the slides contain some very useful information. Cool quote:
"Any idea is better when made recursive (Randell)"
A decade earlier, Lampson wrote Hints for Computer System Design, which is an interesting roundup of some engineering essentials.
Posted to Software-Eng by Manuel Simoni on 6/8/03; 3:55:00 PM