4. Systematic Program Annotation

Public

Published in Society for Industrial and Applied Mathematics eBooks • Jan 1, 1980

Authors:

Zohar Manna

Abstract

The invariant method for proving the partial correctness of programs requires that the program be annotated with intermediate invariant assertions.

Finding related papers...

(0)

No comments yet

Be the first to share your thoughts!