Program Synthesis

Abstract

Up to now in this book, we have defined a function by introducing a set of axioms. Typically these axioms are computationally suggestive, that is, they have suggested a method for computing the function. But it is not always obvious that the axioms define the function we intend. From these axioms, we have established properties of the function they define, which gives us some assurance that that function is indeed the correct one. Keywords: Specifications; Output; Recursive programs.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1989
Accession Number
ADA213962

Entities

People

  • Zohar Manna

Organizations

  • Technical University of Munich

Tags

DTIC Thesaurus Topics

  • Asymmetry
  • Computational Science
  • Computations
  • Construction
  • Decomposition
  • Elimination
  • Human Behavior
  • Materials
  • Notation
  • Permutations
  • Personality
  • Polarity
  • Specifications
  • Splitting
  • Symmetry
  • Vocabulary

Readers

  • Approximation Theory.
  • Artificial Intelligence