Interactive Synthesis of Computer Programs.
Final rept. 1 Apr 85-31 Mar 87,
WEIZMANN INST OF SCIENCE REHOVOTH (ISRAEL)
Pagination or Media Count:
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.
- Computer Programming and Software
- Computer Systems