On extending computational adequacy by data abstraction

Abstract

Given an abstract data type(ADT), and algebra that specifies it, and an implementation of the data type in a certain language, if the implementation is correct, a certain principle of modularity of...