Data structures and program correctness: Bridging the gap

• 31 December 1978
• journal article
• Published by Elsevier in Computer Languages
• Vol. 3  (2) , 135-142
• https://doi.org/10.1016/0096-0551(78)90030-9

Abstract

Keywords

• DATA STRUCTURES
• PROGRAM CORRECTNESS
• ASSERTIONS
• ASSERTION LANGUAGES
• WEAKEST PRECONDITION
• SEMANTICS
• PROBLEM SPECIFICATION