Skip to main content

Mechanized support for stepwise refinement

  • Invited Papers
  • Conference paper
  • First Online:
Programming Languages and System Architectures

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

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. E.W, Dijkstra. A Constructive Approach to the Problem of Program Correctness. BIT, 8:174–186, 1968.

    Google Scholar 

  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. E.W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.

    Google Scholar 

  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. C. Morgan. Programming from Specifications. Series in Computer Science (C.A.R. Hoare, ed.). Prentice-Hall International, 1990.

    Google Scholar 

  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. N. Wirth. Program Development by Stepwise Refinement. Communications of the ACM, 14:221–227, 1971.

    Google Scholar 

  9. N. Wirth. Systematic Programming. Prentice-Hall, 1973.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Jürg Gutknecht

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van de Snepscheut, J.L.A. (1994). Mechanized support for stepwise refinement. In: Gutknecht, J. (eds) Programming Languages and System Architectures. Lecture Notes in Computer Science, vol 782. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57840-4_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-57840-4_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57840-6

  • Online ISBN: 978-3-540-48356-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics