Browsing Computer Science and Automation (CSA) by Subject "Data Abstraction"

Now showing items 1-1 of 1

A Refinement-Based Methodology for Verifying Abstract Data Type Implementations

Divakaran, Sumesh (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 ...