Browsing by Author "Lamport, Leslie"
Lamport, Leslie; Schneider, Fred B. (Cornell University, 1982-05)Generalized Hoare Logic is a formal logical system for deriving invariance properties of programs. It provides a uniform way to describe a variety of methods for reasoning about concurrent programs, including noninterference, ...
Lamport, Leslie; Schneider, Fred B. (Cornell University, 1989-05)We present a theorem for deriving properties of a concurrent program by reasoning about a simpler, coarser-grained version. The theorem generalizes a result that Lipton proved for partial correctness and deadlock-freedom. ...