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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,b0123581076a0cf3 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1994-09-12 02:49:22 PST Path: nntp.gmd.de!xlink.net!howland.reston.ans.net!EU.net!sunic!news.lth.se!nic.lth.se!dag From: dag@control.lth.se (Dag Bruck) Newsgroups: comp.lang.ada Subject: Re: Ada ad in Embedded Systems Programming stinks Date: 12 Sep 1994 06:28:26 GMT Organization: Department of Automatic Control, Lund, Sweden Message-ID: References: <1994Sep1.084046.21595@sei.cmu.edu> <344u9q$di5@gnat.cs.nyu.edu> <347idh$15ss@watnews1.watson.ibm.com> <34tu91$139u@source.asset.com> <34usma$hti@gnat.cs.nyu.edu> <19940911.4965@naggum.no> <3504ue$lpj@gnat.cs.nyu.edu> NNTP-Posting-Host: control.lth.se In-reply-to: dewar@cs.nyu.edu's message of 11 Sep 1994 19:47:26 -0400 Date: 1994-09-12T06:28:26+00:00 List-Id: >>>>> "R" == Robert Dewar writes: R> THe issue of how accessible defining documents should be is an R> interesting one. I am one of the relatively few people who got to R> know the Algol-68 revised report thoroughly. At that level of R> knowledge, it is a superb document, extremely precise, very R> complete, and very accessible. R> However, the great majority of people found it completely R> inpenetrable, and it clearly contributed to the demise of the R> language. Have you seen the Draft International Standard for Modula-2? If nothing else will kill Modula-2, this document will! More seriously, the Modula-2 standard mixes natural language and VDM-SL (a formal specification language), and I think the mix is totally incomprehensible. The last statement is of course also a statement on my level of education. By the way, the reference manual has grown from some 30 pages to about 600 pages, and is bigger than the DIS for Ada 9X. -- Dag Bruck