RE: MISRA C (was: Industry support groups that foster secure/quality coding practices)

["David Crocker" <dcrocker () eschertech com>]

My understanding is that SPARK disallows all access types (i.e. pointers), so it
would indeed be impossible to support OO development in SPARK (assuming one
regards dynamic binding as fundamental to OO development). However, even full
Ada 95 supports OO development poorly.

David Crocker
Escher Technologies Ltd.
www.eschertech.com

-----Original Message-----
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]
Behalf Of ljknews
Sent: 01 January 2004 13:32
To: [EMAIL PROTECTED]
Subject: RE: [SC-L] MISRA C (was: Industry support groups that foster
secure/quality coding practices)


At 11:17 PM +0000 12/31/03, David Crocker wrote:

> What I would like to see is a widely-implemented, well-designed, type-safe
> object-oriented language. Eiffel comes close but is not widely implemented or
> used. The present version of Ada (95) is a poor choice for serious O-O
> development.

I was under the impression that Spark (the Ada subset and annotation scheme
supporting formal proofs) actually _disallowed_ many of the Ada features
that are aimed at object oriented programming (dynamic object creation, etc.).

That makes me believe that achieving Spark-level safety starting from
any other language would _also_ remove some "favorite" features of such
language aimed toward object-oriented program.