Results 341 to 350 of about 6,254,795 (351)
Some of the next articles are maybe not open access.
Fields, Meadows and Abstract Data Types
2008Fields and division rings are not algebras in the sense of "Universal Algebra", as inverse is not a total function. Mending the inverse by any definition of 0(-1) will not suffice to axiomatize the axiom of inverse x(-1) · x = 1, by an equation. In particular the theory of fields cannot be used for specifying the abstract data type of the rational ...
John V. Tucker+2 more
openaire +3 more sources
Abstract Data Types, Then and Now
2002Data abstraction has come to play an important role in software development. This paper presents one view of what data abstraction is, how it was viewed when it was introduced, and its long-term impact on programming.
openaire +2 more sources
Precise typing of abstract data type specifications
Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83, 1983There are two important notions of data types being used in programming languages today. In the concept called abstract data types, types are algebras; the semantics of programs is described in terms of operations in these algebras. Another notion of type found in most of the "typed" programming languages in actual use regards types as sets of objects;
openaire +2 more sources
1990
In chapter 5 we looked at general implementations of the ADT set. As we noticed, not all the set operations could be implemented efficiently using a single data structure. However, many applications using sets require only a limited number of set operations.
openaire +2 more sources
In chapter 5 we looked at general implementations of the ADT set. As we noticed, not all the set operations could be implemented efficiently using a single data structure. However, many applications using sets require only a limited number of set operations.
openaire +2 more sources
Abstract objects as abstract data types [PDF]
H. Gerstmann, Alexander Ollongren
openaire +1 more source
Continuous Abstract Data Types
Fundamenta Informaticae, 1986Martin Wirsing, Andrzej Tarlecki
openaire +2 more sources