Results 251 to 260 of about 1,169,039 (310)
Some of the next articles are maybe not open access.
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
Tarlecki, Andrzej, Wirsing, Martin
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 +1 more source
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 +1 more source
Acta Informatica, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ţiplea, Ferucio Laurenţiu +1 more
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ţiplea, Ferucio Laurenţiu +1 more
openaire +3 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 +1 more source
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 +1 more source
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
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
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 +1 more source
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 +1 more source