Accession Number : ADA182679
Title : The Automatic Synthesis of Computer Programming.
Descriptive Note : Final rept. 1 Oct 85-30 Sep 86,
Corporate Author : STANFORD UNIV CA DEPT OF COMPUTER SCIENCE
Personal Author(s) : Manna,Zohar
PDF Url : ADA182679
Report Date : 30 Sep 1986
Pagination or Media Count : 7
Abstract : Research on this effort was concentrated on the following topics: Special relations in automated deduction, binary-search algorithms, a theory of plans, deductive synthesis of dataflow networks, and temporal theorem proving. Two students received Ph.D.'s while conducting research supported by this effort. Titles of several relevant papers produced during this grant include Towards deductive synthesis of data-flow networks, Non-clausal logic programming, One origin of the binary-search paradigm, and How to clear a block: a theory of plans.
Descriptors : *COMPUTER PROGRAMMING, ALGORITHMS, SEARCHING, AUTOMATIC, PLANNING, SYNTHESIS, THEORY
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE