We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Abstractions of data types.
- Authors
TŢplea, Ferucio Laurenţiu; Enea, Constantin
- Abstract
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 corresponding property preservation results are established. An abstraction refinement property is also obtained. It shows how one can pass from an existing abstraction to a (less) finer one. Finally, equationally specified abstractions in the context of equationally specified abstract data types are discussed and exemplified.
- Subjects
ABSTRACT thought; ABSTRACT data types (Computer science); COMPUTER programming; PROGRAMMING languages; DATA structures
- Publication
Acta Informatica, 2006, Vol 42, Issue 8/9, p639
- ISSN
0001-5903
- Publication type
Article
- DOI
10.1007/s00236-006-0010-3