Accession Number : ADA096042


Title :   Logic Programming in LISP.


Descriptive Note : Final technical rept. 1 Oct 77-30 Sep 80,


Corporate Author : SYRACUSE UNIV NY SCHOOL OF COMPUTER AND INFORMATION SCIENCE


Personal Author(s) : Robinson,J A ; Sibert,E E


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a096042.pdf


Report Date : Jan 1981


Pagination or Media Count : 144


Abstract : The 'Language Studies' contract is divided into four project areas, all of which are directed to the problems of effectively, reliably and efficiently using modern computers in a wide range of applications. Three of the projects deal with methods of communicating with computers. Task 1. Very High Level Programming Systems (P.I: J. A. Robinson). This group is working towards combining the features developed to support work in the area of artificial intelligence and those used in general program development into a new conceptual framework that can be understood and used by a large community of users. Task 2. Proving Program Correctness (P.I: J. C. Reynolds). This group is working towards programming language designs which increase the probability that specification errors will be detected by the compiler or interpreter and to provide the language facilities so that users will more nearly be able to prove that programs perform as they are specified than is currently possible. Task 3. Grammars of Programming (P.I: E. F. Storm). This group is working towards the development of methods which will allow users to communicate with computer programs in terms of more normal to their every day communication forms. Task 4. Systems Studies (P.I: R. G. Sargent). This group is working towards developing more sophisticated and efficient models of computer systems which can predict system performance when given particular parameter values. The current efforts concern models of transaction processing systems (TPS). (Author)


Descriptors :   *COMPUTER LOGIC , *COMPUTER PROGRAMMING , *HIGH LEVEL LANGUAGES , METHODOLOGY , PARAMETERS , SCHEDULING , ERROR ANALYSIS , MAN COMPUTER INTERFACE , COMPUTER PROGRAM VERIFICATION , GRAMMARS


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE