Results 311 to 320 of about 8,638,029 (373)
Some of the next articles are maybe not open access.

Abstract Data Types

2021
Programs operate on data. It is thus natural to start our considerations of how to think about programs by a discussion of how to think about data types. For this purpose, we do not really need to know how the objects of a type are concretely represented (such representations have been discussed in Chap.
openaire   +2 more sources

Abstract Data Types

2001
Programming languages such as C++ and Java have built in data types (so-called basic data types or primitive data types) such as integers that represent information and have operations that can be performed on them (such as multiplication and addition). For example the built in basic data types in C++ are short, int, long, float, double and char.
Yorick Hardy, Willi-Hans Steeb
openaire   +2 more sources

The Algebraic Specification of Abstract Data Types

Acta Informatica, 1978
There have been many recent proposals for embedding abstract data types in programming languages. In order to reason about programs using abstract data types, it is desirable to specify their properties at an abstract level, independent of any particular implementation.
John V. Guttag, J. J. Horning
openaire   +3 more sources

Data-type abstracts

Physics Today, 1957
The recent increase in new research results in physics hardly needs to be pointed out to those in the field. When single issues of The Physical Review number from 300 to 500 pages in spite of the fact that several new journals have been recently started, the physicist who is trying to “keep up” feels pretty much overwhelmed.
openaire   +2 more sources

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   +3 more
openaire   +3 more sources

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

Abstraction, data types, and models for software

Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling -, 1980
In the area of software development and maintenance, a major issue is managing the complexity of the systems. Programming methodologies and languages to support them have grown in response to new ideas about how to cope with this complexity.
openaire   +3 more sources

Abstract data types in Euclid

ACM SIGPLAN Notices, 1978
The programming language Euclid provides features that support abstract data types, but does not strictly speaking provide a true data abstraction mechanism. This paper assesses the data abstraction facilities that Euclid does provide, examines the two ways of instantiating Euclid modules, and discusses other features of modules that the designers of ...
Ernest Chang   +2 more
openaire   +2 more sources

An experience in implementing abstract data types

Software: Practice and Experience, 1981
AbstractThe abstract data type concept appears to be a useful software structuring tool. A project, called ‘Système d'Objets Conservés’, which was developed at the University of Rennes, (France), gave some experience in implementing this concept. The possibility of including abstract data type into a pre‐existing compiler is demonstrated, and desirable
M. Banatre   +3 more
openaire   +3 more sources

Constructive Abstract Data types (CAD)

ACM SIGMOD Record, 1980
1. Distinction from conventional approaches The motivation for CAD is to extend the idea of data abstraction to application programming. Conventional approaches confine themselves to operational concepts of system programming like STACK, QUEUE etc. and do not consider concepts like CONTRACT, INVOICE etc.
openaire   +2 more sources

Home - About - Disclaimer - Privacy