TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
"Robert C. Leif" <[log in to unmask]>
Reply To:
Date:
Mon, 6 Dec 2004 00:07:47 -0800
Content-Type:
text/plain
Parts/Attachments:
text/plain (41 lines)
   Absolutely correct.  SPARK also has the virtue of newness.
   Bob Leif

   -----Original Message-----
From: Team Ada: Ada Programming Language Advocacy (83 & 95)
[mailto:[log in to unmask]] On Behalf Of Rod Chapman
Sent: Friday, December 03, 2004 1:58 AM
To: [log in to unmask]
Subject: Re: The question at hand:

   You can also make a good case for teaching SPARK:
   1) All the "good things" about Ada also apply (even more so)
      to SPARK.
   2) SPARK teaches design-by-contract and strong program verification.
   3) SPARK is _much_ smaller and simpler than Ada.
   4) You can sell the idea to your curriculum committee without
      mentioning Ada!

   - Rod



   **********************************************************************

   This email is confidential and intended solely for the use of the
individual to whom it is addressed.  If you are not the intended recipient,
be advised that you have received this email in error and that any use,
disclosure, copying or distribution or any action taken or omitted to be
taken in reliance on it is strictly prohibited.  If you have received this
email in error please contact the sender.  Any views or opinions presented
in this email are solely those of the author and do not necessarily
represent those of Praxis High Integrity Systems Ltd (Praxis HIS).

    Although this email and any attachments are believed to be free of any
virus or other defect, no responsibility is accepted by Praxis HIS or any of
its associated companies for any loss or damage arising in any way from the
receipt or use thereof.  The IT Department at Praxis HIS can be contacted at
[log in to unmask]

   **********************************************************************

ATOM RSS1 RSS2