BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-75-539
       ENTRY:: August 23, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: A new approach to recursive programs.
        TYPE:: Technical Report
      AUTHOR:: Manna, Zohar
      AUTHOR:: Shamir, Adi
        DATE:: December 1975
       PAGES:: 30
    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.
       NOTES:: [Adminitrivia V1/Prg/19950823]
         END:: STAN//CS-TR-75-539