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
Distribution Statement : APPROVED FOR PUBLIC RELEASE