Results 151 to 160 of about 6,018,770 (201)
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
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Continuous Abstract Data Types
Fundamenta Informaticae, 1986The basic definitions and the mathematical properties connected with the notion of a continuous abstract data type are given. The existence of initial and terminal models for algebraic hierarchical specifications using ground inequalities is proven. The inequalities may contain universally quantified variables and may be conditional. Three examples for
Martin Wirsing, Andrzej Tarlecki
openaire +3 more sources
On hierarchies of abstract data types
Acta Informatica, 1983Hierarchical abstract data types are algebraic specifications of computation structures where certain sorts, function symbols, and axioms are designated as being primitive. On hierarchical abstract data types additional structure is imposed. An algebraic specification is thus decomposed into several well-separated levels, such that both the ...
Martin Wirsing +4 more
openaire +2 more sources
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
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
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
The Algebraic Specification of Abstract Data Types
Acta Informatica, 1978There 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
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
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