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