TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

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

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

Print Reply
Michael Feldman <[log in to unmask]>
Tue, 9 Nov 1999 17:54:01 -0500
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