Structured recursive programming

  • Robert E. Noonan
  • Dale J. Panton
Preuves Formelles De Programmes Proving Properties Of Programs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 19)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Burstall, R. M. "Semantics of Assignment," Machine Intelligence, 2, edited by E. Dale and D. Michie. American Elsevier Publishing Co. (1968), pp. 3–20.Google Scholar
  2. 2.
    Burstall, R. M. "Proving Properties of Programs by Structural Induction," Computer Journal, 9, (Feb. 1969), pp. 41–48.Google Scholar
  3. 3.
    Dijkstra, E. W. "Go To Statement Considered Harmful," CACM, 11, (March 1968), pp. 147–148 and (August 1968), pp. 538, 541.Google Scholar
  4. 4.
    Dijkstra, E. W. "Notes on Structured Programming," Structured Programming by O. J. Dahl, E. W. Dijkstra, and C. A. R. Hoare. Academic Press (1972), pp. 1–82.Google Scholar
  5. 5.
    Elspas, B., K. N. Levitt, R. J. Waldinger, and A. Waksman. "An Assessment of Techniques for Proving Program Correctness," Computing Surveys, 4, (June 1972), pp. 97–147.Google Scholar
  6. 6.
    Floyd, R. W. "Assigning Meanings to Programs," Proc. of Symposia in Applied Math., 19, (April 1966), pp. 19–32.Google Scholar
  7. 7.
    Landin, P. J. "The Next 700 Programming Languages," CACM, 9, (March 1966), pp. 157–164.Google Scholar
  8. 8.
    London, R. L. "Correctness of a Compiler for a LISP Subset," Proc. of ACM Conf. on Proving Assertions about Programs, (Jan. 1972), pp. 121–127.Google Scholar
  9. 9.
    Manna, Z., S. Ness and J. Vuillemin. "Inductive Methods for Proving Properties about Programs," Proc. of ACM Conf. on Proving Assertions about Programs, (Jan. 1972), pp. 27–50.Google Scholar
  10. 10.
    McCarthy, J. "Towards a Mathematical Science of Computation," Proc. IFIP Conf., 1962, pp. 21–70.Google Scholar
  11. 11.
    Mills, H. D. "Mathematic Foundations for Structured Programming," IBM Corp., FSC 72-6012 (Feb. 1972).Google Scholar
  12. 12.
    Milner, R. "Implementation and Applications of Scott's Logic for Computable Functions," Proc. of ACM Conf. on Proving Assertions about Programs, (Jan. 1972), pp. 1–6.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • Robert E. Noonan
    • 1
  • Dale J. Panton
    • 1
  1. 1.Department of Computer ScienceUniversity of MarylandCollege ParkUSA

Personalised recommendations