Interactive Synthesis of Computer Programs.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 31, 1987
Accession Number
ADA191455

Entities

People

  • Zohar Manna

Organizations

  • Weizmann Institute of Science

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Classification
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Contracts
  • Flow Network
  • Numbers
  • Real Numbers
  • Security
  • Sequences
  • Square Roots

Fields of Study

  • Computer science

Readers

  • Operations Research
  • Theoretical Analysis.