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: 103376,74b55538385b7366 X-Google-Attributes: gid103376,public From: mgk25@cl.cam.ac.uk (Markus Kuhn) Subject: Re: Ada safety road Was: Which is right ... Date: 1999/06/10 Message-ID: <7jo1d2$kno$1@pegasus.csx.cam.ac.uk>#1/1 X-Deja-AN: 487846462 References: <928083159.436.79@news.remarQ.com> <928174549.336.98@news.remarQ.com> <7iuqkc$ln6$1@nnrp1.deja.com> <928529202.956.79@news.remarQ.com> <928569312.951.42@news.remarQ.com> <7jb1l9$694$1@nnrp1.deja.com> <928703068.617.98@news.remarQ.com> <375F6F0B.AD735B5B@praxis-cs.co.uk> Organization: U of Cambridge Computer Lab, UK Newsgroups: comp.lang.ada Date: 1999-06-10T00:00:00+00:00 List-Id: Peter Amey writes: |> There certainly has been some work in this area. At a pragmatic level |> there is the Ada HRG which has produced (under auspices of ISO) a |> guidance document on the use of Ada in high-intergrity systems. The |> document identifies language features and combinations of features which |> are most likely to complicate reasoning about the behaviour of Ada |> programs; clearly this includes behaviour which might be erroneous. This document is freely available from http://www.dkuug.dk/JTC1/SC22/WG9/n359.pdf Markus -- Markus G. Kuhn, Computer Laboratory, University of Cambridge, UK Email: mkuhn at acm.org, WWW: