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

Report Date:

1987-03-31

Pagination or Media Count:

4.0

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