comp.lang.ada
 help / color / mirror / Atom feed
From: dag@control.lth.se (Dag Bruck)
Subject: Re: Ada ad in Embedded Systems Programming stinks
Date: 12 Sep 1994 06:28:26 GMT
Date: 1994-09-12T06:28:26+00:00	[thread overview]
Message-ID: <DAG.94Sep12082826@bellman.control.lth.se> (raw)
In-Reply-To: dewar@cs.nyu.edu's message of 11 Sep 1994 19:47:26 -0400

>>>>> "R" == Robert Dewar <dewar@cs.nyu.edu> 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



  reply	other threads:[~1994-09-12  6:28 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <CvFI4J.D5M@world.std.com>
     [not found] ` <34ecqc$b5q@source.asset.com>
     [not found]   ` <34g5v3INN6q2@phage.cshl.org>
1994-09-06 13:46     ` Ada ad in Embedded Systems Programming stinks david.c.willett
     [not found]     ` <EACHUS.94Sep6094018@spectre.mitre.org>
1994-09-08  7:04       ` Dag Bruck
1994-09-08  9:52         ` Robert I. Eachus
1994-09-08 17:12           ` Dag Bruck
1994-09-08 17:28             ` Robert I. Eachus
1994-09-22  8:51         ` Brendan WALKER
1994-09-07 22:44   ` John Goodsen
1994-09-08  6:32     ` Keith Thompson @pulsar
     [not found] ` <1994Sep1.084046.21595@sei.cmu.edu>
     [not found]   ` <344u9q$di5@gnat.cs.nyu.edu>
     [not found]     ` <347idh$15ss@watnews1.watson.ibm.com>
     [not found]       ` <1994Sep4.092729.21408@lmpsbbs.comm.mot.com>
1994-09-07 22:46         ` John Goodsen
1994-09-08  6:47           ` Keith Thompson @pulsar
1994-09-08  8:52             ` David Emery
1994-09-11  3:41       ` Michael M. Bishop
1994-09-11 12:20         ` Robert Dewar
1994-09-11 13:29           ` Robert Dewar
1994-09-12 14:03             ` Norman H. Cohen
1994-09-11 21:48           ` Erik Naggum
1994-09-11 23:47             ` Robert Dewar
1994-09-12  6:28               ` Dag Bruck [this message]
1994-09-12 12:22                 ` David Weller
1994-09-12 20:03               ` Erik Naggum
1994-09-12 19:16             ` Maarten Landzaat
1994-09-13 10:10               ` Richard A. O'Keefe
1994-09-17 12:07                 ` Fred McCall
1994-09-12 20:49         ` Mitch Gart
1994-10-13 10:51 Bob Wells #402
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox