
arXiv: 1801.04992
The contribution of this article is a data concept that is essentially based on the two concepts of information and computable functionality. In short, data is viewed as typed information. A data type is defined as a pair of a set of distinguishable characters (an alphabet) and a set of operations (computable functions) that operate on this alphabet as domain. Two different ways of subtyping in the sense of Liskov and Wing are described, one for restriction and one for extension of existing types. They lead to two different partial orders on types. It is argued that the proposed data concept matches the concept of characteristics (Merkmale) of the automation industry.
Comment: Improved version
Computer Science - Programming Languages
Computer Science - Programming Languages
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
