On Tue, 15 Feb 2000, Laurel Fan wrote:

> There's a synchronization construct called a Hoare monitor.  Endless
> amusement for a class of OS students who have been up too late. 

There is also a form of logic called Hoare logic. Try teaching that to a
class of computer scientists in their late teens...

Jeanette

--- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- ---
Jeanette Heidenberg, MSc |                          |      [EMAIL PROTECTED]
CS at Abo Akademi Uni    | Does fuzzy logic tickle? |           [EMAIL PROTECTED]
Finland                  |                          | www.infa.abo.fi/~jeanette



************
[EMAIL PROTECTED]   http://www.linuxchix.org

Reply via email to