VERIFYING REACHABILITY INVARIANTS OF LINKED STRUCTURES.

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1983, Pages 38-47

  Nelson, Greg ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

AXIOMATIC THEORY; CORRECTNESS PROOF; INVARIANT VERIFICATION; LINKED LISTS; PROGRAM VERIFICATION; REACHABILITY PREDICATE;

COMPUTER PROGRAMMING;

EID: 0020876636     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/567067.567073     Document Type: Conference Paper

References (0)