Results 271 to 280 of about 8,779,004 (325)
Some of the next articles are maybe not open access.
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
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
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