Add to ORKGA model theory for proving correctness of abstract data types is developed within the framework of the behavior-realization adjunction. To allow for incomplete specifications, proof-of-correctness ..
Behavioural theories are a generalization of first-order theories where the equality predicate symbo...
AbstractThis paper studies the question of when one abstract data type (ADT) is a behavioral subtype...
AbstractThe term-generated models of an abstract data type can be represented by congruence relation...
AbstractA model theory for proving correctness of abstract data types is developed within the framew...
A model theory for proving correctness of abstract data types is developed within the framework of t...
AbstractTwo methods for proving the correctness of data representations are presented which employ a...
data types; F.3.2 [Logics and Meanings of Programs ] Semantics of Programming Languages --- algebrai...
In this paper we develop an abstract theory of adequacy. In the same way as the theory of consequenc...
AbstractThe well-known term model constructions for equational abstract data type specifications pro...
201 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1988.We propose the use of partial...
. We introduce a concept of behavioural implementation for algebraic specifications which is based o...
We shall demonstrate that proving the behavioral equivalence of two algebraic specifications is equi...
In abstract interpretation-based static analysis, approximation is encoded by abstract domains. They...
This thesis investigates the properties of generic refinements of behavioral specifications. At the ...
In abstract interpretation-based static analysis, approximation is encoded by abstract domains. They...
Behavioural theories are a generalization of first-order theories where the equality predicate symbo...
AbstractThis paper studies the question of when one abstract data type (ADT) is a behavioral subtype...
AbstractThe term-generated models of an abstract data type can be represented by congruence relation...
AbstractA model theory for proving correctness of abstract data types is developed within the framew...
A model theory for proving correctness of abstract data types is developed within the framework of t...
AbstractTwo methods for proving the correctness of data representations are presented which employ a...
data types; F.3.2 [Logics and Meanings of Programs ] Semantics of Programming Languages --- algebrai...
In this paper we develop an abstract theory of adequacy. In the same way as the theory of consequenc...
AbstractThe well-known term model constructions for equational abstract data type specifications pro...
201 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1988.We propose the use of partial...
. We introduce a concept of behavioural implementation for algebraic specifications which is based o...
We shall demonstrate that proving the behavioral equivalence of two algebraic specifications is equi...
In abstract interpretation-based static analysis, approximation is encoded by abstract domains. They...
This thesis investigates the properties of generic refinements of behavioral specifications. At the ...
In abstract interpretation-based static analysis, approximation is encoded by abstract domains. They...
Behavioural theories are a generalization of first-order theories where the equality predicate symbo...
AbstractThis paper studies the question of when one abstract data type (ADT) is a behavioral subtype...
AbstractThe term-generated models of an abstract data type can be represented by congruence relation...