[PRL] Acceptability-Oriented Computing

[Mitchell Wand]

I just looked at Martin Rinard's slides from his presentation at
Oopsla 2003.  He talks about the futility of perfection, and how to
equip programs with graceful degradation and "limp home" modes, in
part as a defense against hostile environments.

Sounds like it might be an interesting application for contracts?

Look at /home/wand/people/rinard/

--Mitch 
"All, or nothing at all.  
Half a loaf never appealed to me
If your heart isn't revealed to me,
Then I'd rather have nothing at all." (Jack
Lawrence; recorded by Frank Sinatra et al.)

[BTW, does anybody here besides me know this song?]