Results 11 to 20 of about 6,218,205 (370)
Blockchain Abstract Data Type [PDF]
The 31st ACM Symposium on Parallelism in Algorithms and Architectures, 2018 The presented work continues the line of recent distributed computing communityefforts dedicated to the theoretical aspects of blockchains. This paper is the rst tospecify blockchains as a composition of abstract data types all together with a hierarchyof consistency criteria that formally characterizes the histories admissible for distributedprograms ...
Emmanuelle Anceaume +4 more
openalex +11 more sources
The Transrational Numbers as an Abstract Data Type [PDF]
Transmathematica, 2020 In an arithmetical structure one can make division a total function by defining 1/0 to be an element of the structure, or by adding a new element, such as an error element also denoted with a new constant symbol, an unsigned ...
John Tucker
core +5 more sources
Implementation of Abstract Data Types in Dynamic Sketches for Learning Geometry [PDF]
Informatics in Education, 2014 A long-term observation of students' usage of a dynamic geometry in a classroom at all grade levels has challenged to develop an approach for learning and understanding mathematics in an easier way for both students and teachers. The paper deals with the
Egle JASUTE, Valentina DAGIENE
doaj +2 more sources
Abstract data types and the development of data structures [PDF]
Communications of the ACM, 1977 Abstract data types can play a significant role in the development of software that is reliable, efficient, and flexible. This paper presents and discusses the application of an algebraic technique for the specification of abstract data types. Among the examples presented is a top-down development of a symbol table for a block structured language; a ...
John V. Guttag
openalex +6 more sources
Program Design With Abstract Data Types [PDF]
, 1975 Computer Science ...
Lawrence Flon
openalex +4 more sources
Encryption as an abstract data-type
Electronic Notes in Theoretical Computer Science, 2003 Abstract At the Dolev-Yao level of abstraction, security protocols can be specified using multisets rewriting. Such rewriting can be modeled naturally using proof search in linear logic. The linear logic setting also provides a simple mechanism for generating nonces and session and encryption keys via eigenvariables.
Dale Miller
openalex +3 more sources
On abstract data types presented by multiequations
Theoretical Computer Science, 2002 AbstractEquational presentation of abstract data types is generalized to presentation by multiequations, i.e., exclusive-or's of equations, in order to capture parametric data types such as array or set. Multiinitial-algebra semantics for such data types is introduced. Classes of algebras described by multiequations are characterized.
J. Adámek +2 more
openalex +3 more sources
Enabling Type Checking on Columns in Data Frame Libraries by Abstract Interpretation
IEEE Access, 2022 Data frames are a tabular data structure widely used in transforming data to an appropriate form in data analysis, especially in data wrangling. However, when data frames are implemented with libraries rather than supported at the language level, it is ...
Yungyu Zhuang, Ming-Yang Lu
doaj +1 more source
The Wheel of Rational Numbers as an Abstract Data Type [PDF]
, 2021 In an arithmetical structure one can make division a total function by defining 1/0 to be an element of the structure, or by adding a new element such as infinity ∞ or error element ⊥. A wheel is an algebra in which division is totalised by setting 1/0 =
John Tucker
core +1 more source
Implementation of hyperbolic complex numbers in Julia language
Discrete and Continuous Models and Applied Computational Science, 2022 Hyperbolic complex numbers are used in the description of hyperbolic spaces. One of the well-known examples of such spaces is the Minkowski space, which plays a leading role in the problems of the special theory of relativity and electrodynamics. However,
Anna V. Korolkova +2 more
doaj +1 more source