TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

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

Print Reply
Sender: "Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
Date: Tue, 9 Nov 1999 17:54:01 -0500
Reply-To: Michael Feldman <[log in to unmask]>
Content-Transfer-Encoding: 7bit
From: Michael Feldman <[log in to unmask]>
In-Reply-To: <[log in to unmask]> from "Laurent Guerby" at Nov 06, 1999 12:32:51 PM
Content-Type: text/plain; charset=us-ascii
MIME-Version: 1.0
Parts/Attachments: text/plain (24 lines)
[said Laurent]
> A quick search on METEOR Ada on gives:
> It gives some insight on how the thing was formally validated. There
> is the email of an RATP guy in the French version.
> --LG
Yes, this is an interesting article and does mention Ada as the code-
level language generated by B.

Here's a pointer to a nice article (in English) on "Atelier B"

It is mentioned here that code generators are available for Ada and C.

Mike Feldman