Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxl!eagle!harpo!seismo!hao!hplabs!sri-unix!ShriverBD%usl.csnet@csnet-relay.arpa
From: ShriverBD%usl.csnet@csnet-relay.arpa
Newsgroups: net.ai
Subject: request for references
Message-ID: <495@sri-arpa.UUCP>
Date: Thu, 29-Mar-84 17:19:00 EST
Article-I.D.: sri-arpa.495
Posted: Thu Mar 29 17:19:00 1984
Date-Received: Sat, 7-Apr-84 02:38:03 EST
Lines: 37

From:  Bruce Shriver <ShriverBD%usl.csnet@csnet-relay.arpa>

I would like to be referred to either one or two seminal papers or one or
two highly qualified persons in the following areas (if you send me the
name of an individual, the person's address and phone number would also
be greatly appreciated):

  1. Tutorial or survey papers on logic programming, particularly those
     dealing with several different language approaches.

  2. Reusable Software (please give references other than the Proceedings
     of the Workshop on Reuseability in Programming which was held in
     Newport, RI last September).

  3. Your favorite formal specification technique that can be applied to
     large scale, complex systems.  Examples demonstrating the completeness
     and consistency of a set of specifications for real systems.

  4. Integrated programming environments such as Cedar and Spice versus
     the Ada-style environments (APSEs, etc.).  Discussions on the
     relative merits of these two kinds of environments.

  5. Knowledge Based System Architectures (i.e., support of knowledge
     based systems from both the hardware and software point of view).
     Knowledge representation and its hardware/software implications.
     The relationship between "knowledge bases" and "data bases" and
     the relationship between knowledge base systems and data base
     systems.

Thank you very much for your time and consideration in this matter.  I
appreciate your help:     Bruce D. Shriver
                          Computer Science Department
                          University of Southwestern Louisiana
                          P. O. Box 44330
                          Lafayette, LA 70504
                          (318) 231-6606
                          shriver.usl@rand-relay