OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: An open plea to the W3C



I *think* the Ada critic was Tony Hoare (Professor C.A.R. Hoare, 
FRS, James Martin Professor of Computing at Oxford University). 
[Even if it wasn't, his insights on formal methods are well worth 
reading ;-) ]

Simon.

 



And for an honest attribute cry out ... 
Pericles IV-iii

I might say 'element,' but the word is over-worn.
Twelfth Night, III-i