Verily I say unto thee, that Doug Mentohl spake thusly:
> 'The 2009 A. M. Turing Award has gone to Barbara Liskov for her
> contributions to programming ..'
> the Liskov Substitution Principle ..
> 'Let q(x) be a property provable about objects x of type T. Then q(y)
> should be true for objects y of type S where S is a subtype of T'
> Well, obviously .. :)
I knew that ... but only because I just read patent application
Microsoft made which claims *they* "invented" it.
| "Necessity is the plea for every infringement of human freedom. It
| is the argument of tyrants; it is the creed of slaves." ~ William
| Pitt the Younger
Fedora release 8 (Werewolf) on sky, running kernel 188.8.131.52-60.fc8
21:24:34 up 128 days, 5:07, 5 users, load average: 0.03, 0.06, 0.05