A case study of structured programming with correctness proofs

  • J. D. Ichbiah
  • J. C. Heliard
Program Development And Program Verification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 44)


Structure Program Reliable Software Sorting Algorithm Correctness Proof Specific Execution 
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.


  1. 1.
    Dijkstra, E.W., "Goto statement considered harmful", CACM, Vol. II (March 1968) pp 147–148.Google Scholar
  2. 2.
    Dijkstra, E.W., "Notes on structure programming", in Structured Programming, pp 1–82, Academic Press, London (1972).Google Scholar
  3. 3.
    Floyd, R.W., "Assigning meanings to programs", Proc. Am Math. Soc. Symp in Applied Math. 19 (1967) pp 19–31.Google Scholar
  4. 4.
    Hoare, C.A.R., "An axiomatic basis for computer programming", CACM, Vol. 12 (October 1969) pp 576–583.Google Scholar
  5. 5.
    Hoare, C.A.R., "Proof of a program: FIND", CACM, Vol. 14 (January 1971) pp 39–45.Google Scholar
  6. 6.
    Good, D.I., London, R.L., "Computer Interval Arithmetic: definition and proof of correct implementation", JACM, Vol. 17,4 (October 1970) pp 603–612.CrossRefGoogle Scholar
  7. 7.
    Wirth, N., "Systematic Programming: An Introduction", Prentice Hall, Englewood Cliffs, N.J., (1973).Google Scholar
  8. 8.
    Manna, Z., "Mathematical Theory of Computation", Mc Graw Hill, (1974).Google Scholar
  9. 9.
    Robinson, L., Levitt, K.N., "Proof techniques for hierarchically structured programs", Stanford Research Institute, SRI technical report, (January 1975).Google Scholar
  10. 10.
    Infante, R., Montanari, U., "Proving Structured programs correct, level by level", Proc. Int. Conf. on Reliable Software, (April 1975) pp 427–436.Google Scholar
  11. 11.
    Mills, H.D., "How to write correct programs and know it", Proc. Int. Conf. on Reliable Software, (April 1975) pp 363–370.Google Scholar
  12. 12.
    Ichbiah, J.D., Rissen, J.P., Heliard, J.C., Cousot, P., "The system implementation language LIS", CII technical report 4549 E/EN (December 1974).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • J. D. Ichbiah
    • 1
  • J. C. Heliard
    • 1
  1. 1.Compagnie Internationale pour l'InformatiqueLouveciennesFrance

Personalised recommendations