TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show Text Part by Default
Condense Mail Headers

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

Print Reply
Sender:
"Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
X-To:
Date:
Tue, 9 Nov 1999 17:54:01 -0500
Reply-To:
Michael Feldman <[log in to unmask]>
Content-Transfer-Encoding:
7bit
Subject:
From:
Michael Feldman <[log in to unmask]>
X-cc:
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 http://www.google.com gives:
>
> http://www.atelierb.societe.com/other_papers/english/using_B/using_B.htm
>
> http://www.atelierb.societe.com/other_papers/french/utilise_B/utilisation_de_B.htm
>
> 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"

http://www.atelierb.societe.com//PAGE_B/uk/atb-01.htm

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

Mike Feldman

ATOM RSS1 RSS2