A Deductive Approach to Program Synthesis.

Abstract

Program synthesis is the systematic derivation of a program from given specifications. A deductive approach to program synthesis is presented for the construction of recursive programs. This approach regards program synthesis as a theorem-proving task and relies on a theorem-proving method that combines the features of transformation rules, unification, and mathematical induction within a single framework. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1978
Accession Number
ADA065558

Entities

People

  • Richard Waldinger
  • Zohar Manna

Organizations

  • Stanford University

Tags

Communities of Interest

  • Autonomy
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Automatic
  • Computer Programming
  • Computer Science
  • Computers
  • Department Of Defense
  • Information Systems
  • Language
  • Military Research
  • Numbers
  • Polarity
  • Programming Languages
  • Security
  • Side Effects
  • Specifications
  • Theorems
  • Universities

Readers

  • Artificial Intelligence