Search alternatives:
"proving" » "providing", "improving", "province"
Cover Image
Read Now

1
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... algebras extended abstract -- Proving systolic arrays -- Expressiveness bounds for completeness in trace...”
Cover Image
Read Now

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... to practice (abstract) -- Using ghost variables to prove refinement -- Tracing the origins of verification...”
Cover Image
Read Now

3
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... complexity -- Typed categorical combinatory logic -- A path ordering for proving termination of term...”
Cover Image
Read Now

4
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... computation -- Order-sorted algebraic specifications with higher-order functions -- Proving the correctness...”