ADA/DIANA TRANSLATORS SUMMARY

ADA/DIANA TRANSLATORS SUMMARY

[Jaap van den Eersten]

As promised here is a summary of the responses to our question
concerning ADA/DIANA translators.
Thanks to those responding.

The question was as follows:

Are there any ADA to Diana and/or Diana to ADA translators available,
commercially or public domain? Such a translator is preferably written
in ADA, Pascal or C and supports the external ASCII representation of
DIANA.

We received the following responses in the mean time:

==============================================================================

The Intermetrics' Ada compiler uses Diana and the Front End
(up through tree building or semantics) is separable. There
are also tools to read & write Diana in ascii & binary
and a Diana -> Ada source reconstructor.
These are all written in Ada and may be available under various
circumstances.
Call Mike Ryer or Barbara Guyette at Intermetrics, Cambridge, MA
617-661-1840 for more information.

Source:
Martha Borkan,			usenet: ...inmet:ada-uts!borkan
Intermetrics, Inc.		arpanet: Borkan@ECLB

==============================================================================

The Verdix Ada Development system produces Diana out of the front-end
The -W switch (un-documented) will write-out the diana representation
to standard-output.
Also the -D switch (also un-documented) places one into an interactive
Diana tree walker, which let's one visit nodes in the parse tree.

Verdix is seeking validation on the 10th of DEC under the new validation
suite.

For more information about the VADS system contact:

	Verdix Corporation
	Westgate Research Park
	7655 Old Springhouse Road
	McLean Virginia 22102

My experience with the system is by activity at one of the Beta-test sites

Source:
Jeff Bartlett
...!mcnc!rti-sel!jb

==============================================================================

The Program Analysis and Verification Group at Stanfor U. has such a
translator.
It is written in Pascal (I think) and runs on TOPS-20. It is on the public
domain and uses the Stanford parser generator (like YACC).

Source:

Eduardo Krell		      UCLA Computer Science Department
ekrell@ucla-locus.arpa	      ..!{sdcrdcf,inhp4,trwspp,ucbvax}!ucla-cs!ekrell

==============================================================================

Our search for other DIANA/ADA translators goes on. So, if anyone has further
information please forward it to:

	Jaap W. van den Eersten
    or	Michel G. van Hamburg.
	..!mcvax!tnocsda!jaap