Accession Number : ADA191455

Title :   Interactive Synthesis of Computer Programs.

Descriptive Note : Final rept. 1 Apr 85-31 Mar 87,

Corporate Author : WEIZMANN INST OF SCIENCE REHOVOTH (ISRAEL)

Personal Author(s) : Manna, Zohar

PDF Url : ADA191455

Report Date : 31 Mar 1987

Pagination or Media Count : 4

Abstract : Research concentrated on three topics: 1) Deductive synthesis of data flow networks, 2) Binary search algorithms, 3) Theory of plans. In the first area, a method of deductive synthesis of deterministic networks was developed. In the second area, general binary-search schema were constructed and specialized for particular applications. Finally, a variant of situational logic in which plans are explicit objects was introduced into the program-synthesis research.

Descriptors :   *NETWORK FLOWS, ALGORITHMS, COMPUTER PROGRAMS, DATA TRANSMISSION SYSTEMS, COMMUNICATIONS NETWORKS, INTERACTIONS, PLANNING, SEARCHING, SYNTHESIS, THEORY

Subject Categories : Computer Programming and Software
      Computer Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE