[GAP] advice on Ada in general programming languages course

[laski at oakland.edu]

I agree. I have been using SPARK for about five years and, 
indeed, have made several converts, to Ada AND program 
analysis and proving.

janusz



Janusz Laski, Professor of Engineering
Oakland University
Rochester, Mi 48309
 (248) 370 2214
-------------- next part --------------
An embedded message was scrubbed...
From: "Peter Amey" <peter.amey at praxis-his.com>
Subject: RE: [GAP] advice on Ada in general programming languages course
Date: Thu, 21 Apr 2005 16:30:47 +0100
Size: 6414
Url: /pipermail/gap/attachments/20050421/850709b5/Message75.mht