Abstract
As a matter of fact, this chapter is not really about the Safe Sluice. It has more of a methodological flavour, mainly because it tells the story of how a method can emerge from a careful study of a judiciously chosen, simple algorithm like the Safe Sluice. For us, authors, the exploration of this algorithm created the first evidence that the Owicki/Gries theory could, somehow, effectively be put at work for the formal derivation of multi-programs [Fei87]. The original theme of that exploration was to compare the various correctness proofs that, at the time, we could give for the Safe Sluice. Here, we are happy to have the opportunity to let the reader share in this experience, and to show how seemingly tiny little details can give rise to unforeseen developments.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Feijen, W.H.J., van Gasteren, A.J.M. (1999). The Safe Sluice: A Synthesis Emerging. In: On a Method of Multiprogramming. Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-3126-2_13
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3126-2_13
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-3179-5
Online ISBN: 978-1-4757-3126-2
eBook Packages: Springer Book Archive