Abstract Implementations and Correctness Proofs


IMPLEMENTATIONS AND CORRECTNESS PROOFS Gilles BERNOT, Michel BIDOIT, Christine CHOPPY Laboratoire de Recherche en Informatique Bât 490, Université PARIS-SUD F-91405 ORSAY CEDEX FRANCE ABSTRACT In this paper, we present a new semantics for the implementation of abstract data types. This semantics leads to a simple, exhaustive description of the abstract… (More)
DOI: 10.1007/3-540-16078-7_80


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics