Results 261 to 270 of about 8,779,004 (325)
Some of the next articles are maybe not open access.
Acta Informatica, 2006
The use of abstraction in the context of abstract data types, is investigated. Properties to be checked are formulas in a first order logic under Kleene's 3-valued interpretation. Abstractions are defined as pairs consisting of a congruence and a predicate interpretation. Three types of abstractions are considered,??, ?? and ?0,1?, and for each of them
Ţiplea, Ferucio Laurenţiu +1 more
openaire +3 more sources
The use of abstraction in the context of abstract data types, is investigated. Properties to be checked are formulas in a first order logic under Kleene's 3-valued interpretation. Abstractions are defined as pairs consisting of a congruence and a predicate interpretation. Three types of abstractions are considered,??, ?? and ?0,1?, and for each of them
Ţiplea, Ferucio Laurenţiu +1 more
openaire +3 more sources
Continuous Abstract Data Types
Fundamenta Informaticae, 1986The basic definitions and the mathematical properties connected with the notion of a continuous abstract data type are given. The existence of initial and terminal models for algebraic hierarchical specifications using ground inequalities is proven. The inequalities may contain universally quantified variables and may be conditional. Three examples for
Martin Wirsing, Andrzej Tarlecki
openaire +3 more sources