Results 321 to 330 of about 6,254,795 (351)
Programming with abstract data types [PDF]
ACM SIGPLAN Notices, 1974 The motivation behind the work in very-high-level languages is to ease the programming task by providing the programmer with a language containing primitives or abstractions suitable to his problem area. The programmer is then able to spend his effort in the right place; he concentrates on solving his problem, and the resulting program will be more ...
LiskovBarbara, ZillesStephen
openaire +2 more sources
Typing abstract data types [PDF]
, 1995 The purpose of this paper is threefold. First, we describe some basic ideas of constructive type theory, with emphasis on their value for specification. Second, we demonstrate the use of type theory as a specification language. This is done by means of a detailed example, namely, the specification of an abstract data type (ADT) for multisets.
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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
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
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
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
, 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
2006In 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, 1980Several 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
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
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
Abstraction, data types, and models for software
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling -, 1980In 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
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
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