Results 261 to 270 of about 1,169,039 (310)

Polymorphic type inference and abstract data types

ACM Transactions on Programming Languages and Systems, 1994
Many statically typed programming languages provide an abstract data type construct, such as the module in Modula-2. However, in most of these languages, implementations of abstract data types are not first-class values. Thus, they cannot be assigned to variables, passed as function parameters, or returned as function results.
Konstantin Läufer, Martin Odersky
openaire   +1 more source

Fields, Meadows and Abstract Data Types

2008
Fields 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 ...
Bergstra, J., Hirschfeld, Y., Tucker, J.
openaire   +3 more sources

Abstract Data Types

2011
Modern programming languages provide facilities for separating public and private aspects of interfaces. While C does not explicitly provide facilities, there is a way of organizing code that yields this separation. Data types defined in this way are called abstract data types, or ADTs for short.
openaire   +1 more source

Distributed Abstract Data Types

2006
In this paper we introduce the concept of Distributed Abstract Data Type (dadt), a new programming model simplifying the development of distributed, context-aware applications A dadt instance logically encapsulates a collection of adt instances distributed throughout the system dadt operations specify the semantics of access to this distributed state ...
MIGLIAVACCA M, MURPHY A. L, Picco, Gian Pietro, AND ROMAN G.   +3 more
openaire   +3 more sources

Synthesizing abstract data type specifications

Proceedings of the 20th annual Southeast regional conference on - ACM-SE 20, 1982
Several alternatives for implementing abstract data types exist. One approach is the definition and implementation of a new language which directly supports abstract data type constructs. Another approach is to incorporate abstract data type constructs in an existing programming language.
Boumediene Belkhouche, Joseph E. Urban, Gregory A. Riccardi   +2 more
openaire   +1 more source

Abstract data types and Data Bases

ACM SIGART Bulletin, 1980
Several researchers have been working, recently, at the attempt of using the ADT approach in the Data Base area. Different specific problems have attacked and we will review some of them.
openaire   +1 more source

Abstract Data Type Sets—II

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   +1 more source

Precise typing of abstract data type specifications

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83, 1983
There 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   +1 more source

Synchronizing shared abstract data types

2014
Computer Science ...
Schwarz, Peter M., Spector, Alfred Z.
openaire   +1 more source

Data Types: Representation, Abstraction, Limitations

2016
After completing this module, a student should be able to: Define the different basic data types (i.e. integer, floating point, and character) and the implications and possible errors of each. Define different sources of error (i.e. measurement, representation, round off, overflow, underflow, and interpretation).
Kevin Brewer, Cathy Bareiss
openaire   +1 more source