Now showing items 1-3 of 3

    • Constraints: A Uniform Approach to Aliasing and Typing 

      Lamport, Leslie; Schneider, Fred B. (Cornell University, 1984-09)
      No abstract supplied.
    • The "Hoare Logic" of CSP, and All That 

      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, ...
    • Pretending Atomicity 

      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. ...