A note on the automatic generation of inductive assertions

  • Wolfgang Coy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)


Partial Correctness Program Construct Logical Calculus Loop Invariant Primitive Recursion 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    HOARE, C.A.R., An axiomatic basis for computer programming, CACM 12, Oct. 1969, pp. 576–580, 583.Google Scholar
  2. [2]
    FLOYD, R.W., Assigning meaning to programs, in Proc. of a Symp. in Appl. Math., Vol. 19, J.T.Schwartz (ed.), AMS, Providence Island, 1967, pp. 19–32.Google Scholar
  3. [3]
    MANNA, Z., Mathematical Theory of Computation, McGraw-Hill, New York, 1974.Google Scholar
  4. [4]
    ELSPAS, B., The semi-automatic generation of inductive assertions for program correctness proofs, GMD-Bericht Nr.55, St.Augustin (W. Germany), 1972.Google Scholar
  5. [5]
    WEGBREIT, B., The synthesis of loop predicates, CACM 17, No. 2, Feb. 1974, pp. 102–112.Google Scholar
  6. [6]
    MANNA, Z. and PNUELI, A., Axiomatic approach to total correctness of programs, Acta informatica 3, 1974, pp. 243–263.CrossRefGoogle Scholar
  7. [7]
    COY, W., Inductive assertions in subrecursive programming languages, Information Proc. Letters, Vol. 4, No. 5, 1976, pp. 121–126.CrossRefGoogle Scholar
  8. [8]
    DAHL, O.-J., DIJKSTRA, E.W., and HOARE, C.A.R., Structered programming, Academic Press, London, 1972.Google Scholar
  9. [9]
    KLEENE, S.C., Introduction to metamathematics, North Holland Publ., Amsterdam, 1971.Google Scholar
  10. [10]
    GÖDEL, K., Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme 1, Monatshefte für Mathematik und Physik 38, 1931, pp. 173–198.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • Wolfgang Coy
    • 1
  1. 1.Abteilung InformatikUniversität DortmundGermany

Personalised recommendations