DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA191455
Title:
Interactive Synthesis of Computer Programs.
Corporate Author:
WEIZMANN INST OF SCIENCE REHOVOTH (ISRAEL)
Report Date:
1987-03-31
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.
Descriptive Note:
Final rept. 1 Apr 85-31 Mar 87,
Pages:
0004
Contract Number:
DAJA45-84-C-0040
File Size:
0.22MB
