Results 271 to 280 of about 15,947,209 (329)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
SIAM Journal on Computing, 1982
Data types can be elegantly characterized as the algebraic quotient of the initial algebra in the appropriate class of algebras. In this paper, data types whose domain is continuous (continuous data types) are defined and studied. It is shown that an algebraic quotient of the appropriate initial continuous algebra can be used to characterize continuous
Levy, M. R., Maibaum, T. S. E.
openaire +2 more sources
Data types can be elegantly characterized as the algebraic quotient of the initial algebra in the appropriate class of algebras. In this paper, data types whose domain is continuous (continuous data types) are defined and studied. It is shown that an algebraic quotient of the appropriate initial continuous algebra can be used to characterize continuous
Levy, M. R., Maibaum, T. S. E.
openaire +2 more sources
Data Types and Advanced Data Types
2015Transact-SQL is a strongly-typed language. Columns and variables must have a valid data type, and the type is a constraint of the column. In this chapter, we will not cover all data types comprehensively. We will skip the obvious part and concentrate on specific information and on more complex and sophisticated data types that were introduced in SQL ...
Miguel Cebollero +2 more
openaire +1 more source
Acta Informatica, 1982
The concept of a data type with total operations and exceptions is proposed as a basic structuring tool for the design of verifiable robust software. A notation for the specification of such data types is presented and the issues underlying their implementation in a programming language supporting data abstraction and exception handling are discussed ...
openaire +2 more sources
The concept of a data type with total operations and exceptions is proposed as a basic structuring tool for the design of verifiable robust software. A notation for the specification of such data types is presented and the issues underlying their implementation in a programming language supporting data abstraction and exception handling are discussed ...
openaire +2 more sources
1982
We have previously stated that all variables need be declared. This means that their names are introduced in the heading of the program. In addition to introducing the name (and thereby enabling a compiler to detect and indicate misspelled identifiers), declarations have the purpose of associating a data type with each variable.
openaire +1 more source
We have previously stated that all variables need be declared. This means that their names are introduced in the heading of the program. In addition to introducing the name (and thereby enabling a compiler to detect and indicate misspelled identifiers), declarations have the purpose of associating a data type with each variable.
openaire +1 more source