From: Eric Hughes <eric.eh9@gmail.com>
Subject: Re: Lack of formal syntax undermines Ada
Date: Tue, 15 Apr 2008 20:14:45 -0700 (PDT)
Date: 2008-04-15T20:14:45-07:00 [thread overview]
Message-ID: <83992c90-4307-4969-a352-fbb8b64c34e8@q1g2000prf.googlegroups.com> (raw)
In-Reply-To: 480563cc$0$19822$4d3efbfe@news.sover.net
On Apr 15, 8:26 pm, "Peter C. Chapin" <pcha...@sover.net> wrote:
> One could
> argue that we really should write language standards in some kind of
> formal specification language like Z. However, doing so would make the
> standard inaccessible to a vast majority of programmers.
Why pick? Have both. Make the formal standard normative, the human
language expository, and fix defects in the standard and defects in
the exposition separately.
Eric
next prev parent reply other threads:[~2008-04-16 3:14 UTC|newest]
Thread overview: 38+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-04-11 9:41 Lack of formal syntax undermines Ada usenet
2008-04-11 11:20 ` Peter C. Chapin
2008-04-15 12:57 ` usenet
2008-04-16 2:26 ` Peter C. Chapin
2008-04-16 3:14 ` Eric Hughes [this message]
2008-04-17 6:37 ` Randy Brukardt
2008-04-11 17:27 ` Georg Bauhaus
2008-04-11 18:13 ` Adam Beneschan
2008-04-11 21:25 ` John McCabe
2008-04-11 21:45 ` Robert A Duff
2008-04-11 22:37 ` John McCabe
2008-04-11 23:08 ` Adam Beneschan
2008-04-12 7:16 ` Dirk Craeynest
2008-04-14 7:23 ` Jean-Pierre Rosen
2008-04-12 12:57 ` Robert A Duff
2008-04-12 15:06 ` (see below)
2008-04-12 16:25 ` John McCabe
2008-04-12 17:55 ` (see below)
2008-04-12 22:19 ` John McCabe
2008-04-13 1:13 ` (see below)
2008-04-13 11:51 ` John McCabe
2008-04-13 14:13 ` (see below)
2008-04-13 19:34 ` John McCabe
2008-04-13 20:51 ` (see below)
2008-04-13 21:06 ` John McCabe
2008-04-12 17:16 ` Gary Scott
2008-04-12 18:43 ` Peter C. Chapin
2008-04-12 19:16 ` Gary Scott
2008-04-12 20:04 ` Robert A Duff
2008-04-12 23:32 ` Gary Scott
2008-04-13 1:16 ` Robert A Duff
2008-04-12 20:02 ` Robert A Duff
2008-04-12 20:52 ` Pascal Obry
2008-04-13 22:01 ` Florian Weimer
2008-04-13 9:46 ` anon
2008-04-15 13:22 ` usenet
2008-04-15 16:08 ` Adam Beneschan
2008-04-13 22:04 ` Florian Weimer
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox