The Automatic Synthesis of Computer Programming.

Abstract

Research on this effort was concentrated on the following topics: Special relations in automated deduction, binary-search algorithms, a theory of plans, deductive synthesis of dataflow networks, and temporal theorem proving. Two students received Ph.D.'s while conducting research supported by this effort. Titles of several relevant papers produced during this grant include Towards deductive synthesis of data-flow networks, Non-clausal logic programming, One origin of the binary-search paradigm, and How to clear a block: a theory of plans.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 30, 1986
Accession Number
ADA182679

Entities

People

  • Zohar Manna

Organizations

  • Stanford University

Tags

Communities of Interest

  • Air Platforms
  • Autonomy

DTIC Thesaurus Topics

  • Air Force
  • Artificial Intelligence
  • Automatic
  • Classification
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Flow Network
  • Language
  • Numbers
  • Programming Languages
  • Real Numbers
  • Reasoning
  • Scientific Research
  • Square Roots
  • Universities

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Research Science/Academic Research