Report Number: CS-TR-75-539
Institution: Stanford University, Department of Computer Science
Title: A new approach to recursive programs.
Author: Manna, Z ohar
Author: Shamir, Adi
Date: December 1975
Abstract: In this paper we critically evaluate the classical
least-fixedpoint approach towards recursive programs. We
suggest a new approach which extracts the maximal amount of
valuable information embedded in the programs. The
presentation is informal, with emphasis on examples.