comp.lang.ada
 help / color / mirror / Atom feed
* intermetrics and diana
@ 1985-09-27 22:03 Doug Bryan
  0 siblings, 0 replies; 3+ messages in thread
From: Doug Bryan @ 1985-09-27 22:03 UTC (permalink / raw)



I think it is GREAT that Intermetrics gives its users full access to the
Diana Trees.  I also agree with Stavros that it is unreasonable for a
"user" to need to re-invent the front end.

But, as far as I know, Intermetrics is the only Ada compiler vendor which
provides this feature.  Please currect me if I am wrong.

doug
-------

^ permalink raw reply	[flat|nested] 3+ messages in thread

* intermetrics and diana
@ 1985-09-27 22:03 Doug Bryan
  0 siblings, 0 replies; 3+ messages in thread
From: Doug Bryan @ 1985-09-27 22:03 UTC (permalink / raw)



I think it is GREAT that Intermetrics gives its users full access to the
Diana Trees.  I also agree with Stavros that it is unreasonable for a
"user" to need to re-invent the front end.

But, as far as I know, Intermetrics is the only Ada compiler vendor which
provides this feature.  Please currect me if I am wrong.

doug
-------

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: intermetrics and diana
@ 1985-11-14 15:25 Gerhard Goos GMD Karlsruhe
  0 siblings, 0 replies; 3+ messages in thread
From: Gerhard Goos GMD Karlsruhe @ 1985-11-14 15:25 UTC (permalink / raw)


The Karlsruhe Ada System (running on VAX and SIEMENS (IBM-like) systems)
also gives access to the Diana database. First the tools can include the
DIANA package written in Ada to work with parsed and semantically prepared
information, second there is an interactive tool (DIANA - Editor DED)
which handels user queries using DIANA. Such queries use the full semantic
information like "Where is this declared?", "What is the base type of this?",
"What is the type of this expression?".

Guido Persch

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~1985-11-14 15:25 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1985-09-27 22:03 intermetrics and diana Doug Bryan
  -- strict thread matches above, loose matches on Subject: below --
1985-09-27 22:03 Doug Bryan
1985-11-14 15:25 Gerhard Goos GMD Karlsruhe

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox