Results 161 to 170 of about 11,939,017 (240)
Some of the next articles are maybe not open access.
Precise typing of abstract data type specifications
Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83, 1983There are two important notions of data types being used in programming languages today. In the concept called abstract data types, types are algebras; the semantics of programs is described in terms of operations in these algebras. Another notion of type found in most of the "typed" programming languages in actual use regards types as sets of objects;
R. Kieburtz
openaire +2 more sources
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
Efficient Abstract Data Type Components for Distributed and Parallel Systems
Computer, 1987One way of improving software system's comprehensibility and maintainability is to decompose it into several components, each of which encapsulates some information concerning the system.
F. Bastani +2 more
semanticscholar +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 +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
Ecological effects of new-type urbanization in China
, 2021The development of urbanization in China has changed from a traditional form of urbanization that focuses on the rate of growth to a new type of urbanization that stresses improvements in quality.
Binbin Yu
semanticscholar +1 more source
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
How much does multi-temporal Sentinel-2 data improve crop type classification?
International Journal of Applied Earth Observation and Geoinformation, 2018The Sentinel-2 mission of the ESA’s Copernicus programme is generating unprecedented volumes of data at high spatial, spectral and temporal resolutions.
F. Vuolo +4 more
semanticscholar +1 more source