Mechanized support for stepwise refinement

  • Jan L. A. van de Snepscheut
Invited Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 782)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    R.J.R. Back. On the Correctness of Refinement Steps in Program Development. PhD thesis, University of Helsinki, 1978. Report A-1978-4.Google Scholar
  2. [2]
    E.W, Dijkstra. A Constructive Approach to the Problem of Program Correctness. BIT, 8:174–186, 1968.Google Scholar
  3. [3]
    E.W. Dijkstra. Notes on Structured Programming. In O.J. Dahl, E.W. Dijkstra, and C.A.R. Hoare, editors, Structured Programming. Academic Press, 1971.Google Scholar
  4. [4]
    E.W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.Google Scholar
  5. [5]
    D. Gries. A Note on the Standard Strategy for Developing Loop Invariants and Loops. Science of Computer Programming, 12:207–214, 1982.Google Scholar
  6. [6]
    C. Morgan. Programming from Specifications. Series in Computer Science (C.A.R. Hoare, ed.). Prentice-Hall International, 1990.Google Scholar
  7. [7]
    J.L.A. van de Snepscheut. JAN 183. Proxac: an Editor for Program Transformation. Technical Report CS 93-33, California Institute of Technology, 1993.Google Scholar
  8. [8]
    N. Wirth. Program Development by Stepwise Refinement. Communications of the ACM, 14:221–227, 1971.Google Scholar
  9. [9]
    N. Wirth. Systematic Programming. Prentice-Hall, 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Jan L. A. van de Snepscheut
    • 1
  1. 1.California Institute of TechnologyUSA

Personalised recommendations