Results 311 to 320 of about 6,254,795 (351)

Abstractions of data types

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   +2 more sources

Home - About - Disclaimer - Privacy