[GAP] advice on Ada in general programming languages course

[Peter Amey]

> -----Original Message-----
> From: gap-bounces at gnat.info [mailto:gap-bounces at gnat.info]On Behalf Of
> Ted Baker
> Sent: 21 April 2005 14:17
> To: GNAT Academic Program discussion list
> Subject: [GAP] advice on Ada in general programming languages course
> 
[snip]
>   c. Formal programming language description techniques.
>      We usually cover at least BNF and
>      precondition-postcondition axiomatic proofs of correctness.
>   d. Sampler of a diverse collection of actual languages outside
>      of C, C++, and Java.
>   e. History of language design evolution.
> 

Given these topics, you should at least consider giving them a SPARK sampler.  As well as directly addressing isues such as proof, SPARK has another useful attribute for education purposes: it is small.  Introducing SPARK will automatically steer student towards the benefits of Ada.  Praxis provide full support for educational SPARK use and are committed to the GAP. 

[snip]

regards


Peter 


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

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 it.support at praxis-his.com

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