Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Burstall, R. W. and Goguen, J. "Putting Theories Together to Make Specifications", Fifth International Joint Conference on Artificial Intelligence, 1977.
Dahl, O. J. "Can Program Proving Be Made Practical?", Institute of Informatics, University of Oslo, 1978.
Gerhart, S. "Two Proof Techniques for Transferral of Program Correctness", Duke University Computer Science Department Technical Report, revised and submitted for publication.
Gerhart, S. "Proof Theory of Partial Correctness Verification Systems", SIAM Journal of Computing, Vol. 5, No. 3, September 1976.
Gries, D. "The Schorr-Waite Graph Marking Algorithm", Lecture Notes for the International Summer School on Program Construction, Munich, Germany, 1978. (this volume)
Guttag, J. "Notes on Data Abstraction", Lecture Notes for the International Summer School on Program Construction, Munich, Germany, 1978. (this volume)
Knuth, D. The Art of Computer Programming, Vol. I, 1973.
Lee, S., Gerhart, S. L., and deRoever, W. P. "The Evolution of List-copying Algorithms", Sixth ACM Symposium on Principles of Programming Languages, January 1979.
Musser, D. R. "Abstract Data Type Specification in the AFFIRM System", preliminary report available from Information Sciences Institute, November 1978.
Yelowitz, L., and Duncan, A. "Abstractions, Instantiations, and Proofs of Marking Algorithms", Proceedings of the Symposium on Artificial Intelligence and Programming Languages, SIGPLAN and SIGART newsletters, August 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Gerhart, S.L. (1979). A derivation-oriented proof of the Schorr-Waite marking algorithm. In: Bauer, F.L., et al. Program Construction. Lecture Notes in Computer Science, vol 69. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014678
Download citation
DOI: https://doi.org/10.1007/BFb0014678
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09251-3
Online ISBN: 978-3-540-35312-6
eBook Packages: Springer Book Archive