Preview
Unable to display preview. Download preview PDF.
References
R.J.R. Back. On the Correctness of Refinement Steps in Program Development. PhD thesis, University of Helsinki, 1978. Report A-1978-4.
E.W, Dijkstra. A Constructive Approach to the Problem of Program Correctness. BIT, 8:174–186, 1968.
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.
E.W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.
D. Gries. A Note on the Standard Strategy for Developing Loop Invariants and Loops. Science of Computer Programming, 12:207–214, 1982.
C. Morgan. Programming from Specifications. Series in Computer Science (C.A.R. Hoare, ed.). Prentice-Hall International, 1990.
J.L.A. van de Snepscheut. JAN 183. Proxac: an Editor for Program Transformation. Technical Report CS 93-33, California Institute of Technology, 1993.
N. Wirth. Program Development by Stepwise Refinement. Communications of the ACM, 14:221–227, 1971.
N. Wirth. Systematic Programming. Prentice-Hall, 1973.
Author information
Authors and Affiliations
Editor information
Rights 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