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=0.7 required=5.0 tests=BAYES_00,INVALID_DATE, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!mnetor!uunet!lll-winken!lll-tis!ames!pasteur!ucbvax!hermix.UUCP!dmartin From: dmartin@hermix.UUCP (dmartin) Newsgroups: comp.lang.ada Subject: Questions about Diana Message-ID: <8803050426.AA02069@rand-unix.rand.org> Date: 3 Mar 88 16:27:42 GMT Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: hermix!dmartin@rand-unix.ARPA Organization: The Internet List-Id: Hi! I'm doing some work involving Ada language processing with Prolog, and I need to develop an intermediate representation that's suitable for use with Prolog. I've looked at Diana, and I'd like to base my representation on Diana. But I'm not that up-to-date on the Ada compilation scene, so I have the following questions: (1) I have the DIANA manual published in 1983 by Springer-Verlag. Is this still current, or have there been further upgrades? If so, where could I get the latest version? (2) Is there any way to get an electronic copy of the definition of Diana (corresponding to chapter 2 of the manual)? (Any help with this would be greatly appreciated!) (3) Are there any competing standards which have come into use? Is Diana still considered a viable standard? Please send your responses to me directly; if there's significant interest, I'll post a compendium to INFO-ADA. David Martin ARPANET: hermix!dmartin@rand-unix.arpa UUCP: {ihnp4,trwrb,decvax}!hermix!dmartin Mark V Systems Limited 16400 Ventura Blvd., #303 Encino, CA 91436 (818) 995-7671