Skip to main content
SpringerLink
Log in

Structured recursive programming

  • Preuves Formelles De Programmes Proving Properties Of Programs
  • Conference paper
  • First Online:
Book cover Programming Symposium

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 19))

  • 2076 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. Burstall, R. M. "Proving Properties of Programs by Structural Induction," Computer Journal, 9, (Feb. 1969), pp. 41–48.

    Google Scholar 

  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. 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. 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. Floyd, R. W. "Assigning Meanings to Programs," Proc. of Symposia in Applied Math., 19, (April 1966), pp. 19–32.

    Google Scholar 

  7. Landin, P. J. "The Next 700 Programming Languages," CACM, 9, (March 1966), pp. 157–164.

    Google Scholar 

  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. 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. McCarthy, J. "Towards a Mathematical Science of Computation," Proc. IFIP Conf., 1962, pp. 21–70.

    Google Scholar 

  11. Mills, H. D. "Mathematic Foundations for Structured Programming," IBM Corp., FSC 72-6012 (Feb. 1972).

    Google Scholar 

  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 

Download references

Author information

Author notes

  1. Dale J. Panton

    Present address: Control Data Corporation, Minneapolis, Minnesota, USA

Authors and Affiliations

  1. Department of Computer Science, University of Maryland, 20742, College Park, Md., USA

    Robert E. Noonan & Dale J. Panton

Authors
  1. Robert E. Noonan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dale J. Panton
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

B. Robinet

Rights and permissions

Reprints and permissions

Copyright information

© 1974 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Noonan, R.E., Panton, D.J. (1974). Structured recursive programming. In: Robinet, B. (eds) Programming Symposium. Lecture Notes in Computer Science, vol 19. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-06859-7_126

Download citation

  • DOI: https://doi.org/10.1007/3-540-06859-7_126

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-06859-4

  • Online ISBN: 978-3-540-37819-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation