Now showing items 1-1 of 1

    • General Correctness: A Unification of Partial and Total Correctness 

      Jacobs, Dean; Gries, David (Cornell University, 1984-10)
      General correctness, which subsumes partial and total correctness, is defined for both weakest preconditions and strongest postconditions. Healthiness properties for general-correctness predicate transformers are more ...