Browsing Division of Electrical, Electronics, and Computer Science (EECS) by Subject "Abstract Data Types"
Now showing items 1-1 of 1
-
A Refinement-Based Methodology for Verifying Abstract Data Type Implementations
(2018-06-21)This thesis is about techniques for proving the functional correctness of Abstract Data Type (ADT) implementations. We provide a framework for proving the functional correctness of imperative language implementations of ...