A New Approach to Recursive Programs

Abstract

In this paper, the authors critically evaluate the classical least- fixedpoint approach towards recursive programs. They suggest a new approach which extracts the maximal amount of valuable information embedded in the programs. The presentation is informal, with emphasis on examples.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1975
Accession Number
ADA021055

Entities

People

  • Adi Shamir
  • Zohar Manna

Organizations

  • Stanford University

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Applied Computer Science
  • Artificial Intelligence
  • Buildings And Structures
  • California
  • Classification
  • Computations
  • Computer Science
  • Computers
  • Contracts
  • Equations
  • Military Research
  • Periodic Functions
  • Structural Properties
  • Universities

Fields of Study

  • Engineering

Readers

  • Mathematical Modeling and Probability Theory.
  • Theoretical Analysis.