Programming Symposium pp 81-87 | Cite as

# Structured recursive programming

Preuves Formelles De Programmes Proving Properties Of Programs

First Online:

## Preview

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

## Copyright information

© Springer-Verlag Berlin Heidelberg 1974