Newsgroups: comp.sys.transputer
From: Alexander Stuebinger <stuebi@micky.zdv.Uni-Mainz.DE>
Subject: SPARK, GNU ADA GNAT Translator
Organization: Johannes Gutenberg-Universitaet Mainz, Germany
Date: Tue, 17 Feb 1998 15:11:20 +0100
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Message-ID: <Pine.OSF.3.95.980217150659.2837B-100000@micky.zdv.Uni-Mainz.DE>

Hi all,

has anyone ported the GNU GNAT Ada Translator to the transputer?

GNAT could be used to translate SPARK code to run on transputer
network.

For info on SPARK see:

John Barnes: High Integrity Ada. The SPARK Approach.
0-201-17517-7 384 pages. 1997. Addison-Wesley.

or look at

http://www.praxis-cs.co.uk/spark


Best regards

-- Alex

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    Alexander Stuebinger
    Im Muenchfeld 33-11
    55122 Mainz
    Germany
    
    Phone: +49-(0)-6131-387 387
    Email: stuebi@mail.uni-mainz.de
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~