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,2c6139ce13be9980 X-Google-Attributes: gidfac41,public X-Google-Thread: f43e6,2c6139ce13be9980 X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public X-Google-Thread: 1108a1,2c6139ce13be9980 X-Google-Attributes: gid1108a1,public From: dewar@merv.cs.nyu.edu (Robert Dewar) Subject: Re: Safety-critical development in Ada and Eiffel Date: 1997/07/17 Message-ID: #1/1 X-Deja-AN: 257469491 References: <33C835A5.362A@flash.net> <33CC0548.4099@flash.net> <5qitoi$fdv$1@news.irisa.fr> <33CD6512.2404@flash.net> <869134861snz@transcontech.co.uk> Organization: New York University Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-07-17T00:00:00+00:00 List-Id: <> Well I certainly disagree strongly with Les' quite bogus conclusions about language complexity drawn from the number of isses raised with respect to the standard. I can't comment on his other observations. There is certainly a body of literature showing that language *does* matter, and particularly the abstraction level of a language matters. Actually I think these studies are all dubious, it is almost impossible to do controlled studies of any kind, so this kind of work ends up being very soft, almost as bad as a lot of wooly social science stuff. People almost always seem to find the data that supports their preheld conceptions, always an indication that you are treading on flaky areas from a scientific point of view.