From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_40,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!info-ada
From: goos@GERMANY.CSNET (Gerhard Goos GMD Karlsruhe)
Newsgroups: net.lang.ada
Subject: Re: intermetrics and diana
Message-ID: <8511141525.AA23696@Germany.CSNET>
Date: Thu, 14-Nov-85 10:25:06 EST
Article-I.D.: Germany.8511141525.AA23696
Posted: Thu Nov 14 10:25:06 1985
Date-Received: Sat, 16-Nov-85 20:46:37 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>

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