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: f43e6,b87849933931bc93 X-Google-Attributes: gidf43e6,public X-Google-Thread: fac41,b87849933931bc93 X-Google-Attributes: gidfac41,public X-Google-Thread: 109fba,b87849933931bc93 X-Google-Attributes: gid109fba,public X-Google-Thread: 1108a1,b87849933931bc93 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,b87849933931bc93 X-Google-Attributes: gid103376,public X-Google-Thread: 114809,b87849933931bc93 X-Google-Attributes: gid114809,public From: Ken Garlington Subject: Re: OO, C++, and something much better! Date: 1997/01/10 Message-ID: <32D6A45C.19DA@lmtas.lmco.com>#1/1 X-Deja-AN: 209000968 references: content-type: text/plain; charset=us-ascii organization: Lockheed Martin Tactical Aircraft Systems mime-version: 1.0 newsgroups: comp.lang.c++,comp.lang.smalltalk,comp.lang.eiffel,comp.lang.ada,comp.object,comp.software-eng x-mailer: Mozilla 3.01 (Win95; U) Date: 1997-01-10T00:00:00+00:00 List-Id: Robert Dewar wrote: > > If you like, consider Ada *minus* these two features as the interesting > language to be analyzed. Then understand that in real life programs can > break the bounds of this analysis to the extent they need to. I think the other interestings aspects of the Ada approach are (1) the language makes it clear when something potentially nasty is being done -- both in terms of the language definition, and in terms of the syntax making the operation clear in the source code -- and (2) there is at least some attempt, through features such as 'Valid, to try to mitigate these effects where possible. This won't necessarily help with formal analysis, but it is useful in "real life" programs. -- LMTAS - The Fighter Enterprise - "Our Brand Means Quality" For job listings, other info: http://www.lmtas.com or http://www.lmco.com