From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,a48e5b99425d742a X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public X-Google-Thread: ffc1e,a48e5b99425d742a X-Google-Attributes: gidffc1e,public X-Google-Thread: f43e6,a48e5b99425d742a X-Google-Attributes: gidf43e6,public X-Google-Thread: 107d55,a48e5b99425d742a X-Google-Attributes: gid107d55,public X-Google-Thread: 1108a1,5da92b52f6784b63 X-Google-Attributes: gid1108a1,public From: William Clodius Subject: Re: FUD (Re: Papers on the Ariane-5 crash and Design by Contract) Date: 1997/03/24 Message-ID: <33369E70.446B@lanl.gov>#1/1 X-Deja-AN: 227984646 References: <332B5495.167EB0E7@eiffel.com> <33343975.31DFF4F5@eiffel.com> <33335686.FF6D5DF@eiffel.com> <33343EE3.7DE14518@eiffel.com> <5h1sbt$pds$1@goanna.cs.rmit.edu.au> <3335E18E.33590565@eiffel.com> <3335E235.4DAA423A@eiffel.com> <3336010c.1734454@nntp.ix.netcom.com> Organization: Los Alamos National Lab Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.programming.threads,comp.lang.ada,comp.lang.java.tech Date: 1997-03-24T00:00:00+00:00 List-Id: William Grosso wrote: > > > And how do we get hold of a copy ? Is there a book (something > like "The Turing Lectures") or is it in Hoare's collected papers > or was it a journal article or ..... > The Turing Award lecture is generally (always?) published in Communications of the ACM. The first twenty years of lectures, including that of Hoare, is published in Robert Ashenhurst and Susan Graham, "ACM Turing Award Lectures: The First 20 Years (1966-1985)," ACM Press, New York, 1987. ISBN: 0-89791-183-0 It can be ordered at any bookstore or via ACM directly http://www.acm.org/catalog/books/homepage.html -- William B. Clodius Phone: (505)-665-9370 Los Alamos Nat. Lab., NIS-2 FAX: (505)-667-3815 PO Box 1663, MS-C323 Group office: (505)-667-5776 Los Alamos, NM 87545 Email: wclodius@lanl.gov