comp.lang.ada
 help / color / mirror / Atom feed
From: snarflemike@yahoo.com (Mike Silva)
Subject: Re: SlashDot reviews the SPARK book
Date: 20 May 2004 11:08:34 -0700
Date: 2004-05-20T11:08:34-07:00	[thread overview]
Message-ID: <20619edc.0405201008.1742603e@posting.google.com> (raw)
In-Reply-To: m3wu38dud7.fsf@niflheim.malonet

Mark Lorenzen <mark.lorenzen@ofir.dk> wrote in message news:<m3wu38dud7.fsf@niflheim.malonet>...
> rod.chapman@praxis-cs.co.uk (Rod Chapman) writes:
> 
> > ...subject line says it all.  This is actually Jack
> > Ganssle's review of the book, which was noted on c.l.a
> > back in December.  Still...no such thing as bad publicity! :-)
> >  All the best,
> >    Rod, SPARK Team
> 
> My previous posting apparently crossed yours. And yes, there probably
> is no such thing as bad publicity, but it is frustrating to read the
> comments on the /. message board.

Yeah, so many like this one: "Now, is there a language to ensure that
your boss asks you to program the right thing?"

Funny thing is, none of these people actually live their lives that
way -- deciding that no precautions or advantages are worthwhile,
since no precaution or advantage can cover every possible situation.

Mike



  reply	other threads:[~2004-05-20 18:08 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-05-19 20:32 SlashDot reviews the SPARK book Rod Chapman
2004-05-19 20:39 ` Mark Lorenzen
2004-05-20 18:08   ` Mike Silva [this message]
2004-05-21 15:47     ` Preben Randhol
2004-06-02 23:49     ` Craig Carey
2004-05-19 22:48 ` Jeff C,
replies disabled

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