Automatic Synthesis of Computer Programming

摘要

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.