Advertisement

A derivation-oriented proof of the Schorr-Waite marking algorithm

  • Susan L. Gerhart
III. Program Development By Transformation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 69)

Keywords

Transitive Closure Verification System Verification Condition Defense Advance Research Project Agency Final Program 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Burstall]
    Burstall, R. W. and Goguen, J. "Putting Theories Together to Make Specifications", Fifth International Joint Conference on Artificial Intelligence, 1977.Google Scholar
  2. [Dahl]
    Dahl, O. J. "Can Program Proving Be Made Practical?", Institute of Informatics, University of Oslo, 1978.Google Scholar
  3. [Gerhart78]
    Gerhart, S. "Two Proof Techniques for Transferral of Program Correctness", Duke University Computer Science Department Technical Report, revised and submitted for publication.Google Scholar
  4. [Gerhart76]
    Gerhart, S. "Proof Theory of Partial Correctness Verification Systems", SIAM Journal of Computing, Vol. 5, No. 3, September 1976.Google Scholar
  5. [Gries]
    Gries, D. "The Schorr-Waite Graph Marking Algorithm", Lecture Notes for the International Summer School on Program Construction, Munich, Germany, 1978. (this volume)Google Scholar
  6. [Guttag]
    Guttag, J. "Notes on Data Abstraction", Lecture Notes for the International Summer School on Program Construction, Munich, Germany, 1978. (this volume)Google Scholar
  7. [Knuth]
    Knuth, D. The Art of Computer Programming, Vol. I, 1973.Google Scholar
  8. [Lee]
    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.Google Scholar
  9. [Musser]
    Musser, D. R. "Abstract Data Type Specification in the AFFIRM System", preliminary report available from Information Sciences Institute, November 1978.Google Scholar
  10. [Yelowitz]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Susan L. Gerhart
    • 1
  1. 1.USC Information Sciences InstituteMarina del Rey

Personalised recommendations