Results 1 to 10 of about 9,530,020 (358)
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 infinity or one or both signed infinities, one positive and one negative. We define an enlargement of a field to a transfield, in
Bergstra, Jan, +2 more
semanticscholar +7 more sources
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
Blockchain abstract data type [PDF]
IACR Cryptology ePrint Archive, 2019 This paper is the first to specify blockchains as a composition of abstract data types all together with a hierarchy of consistency criteria that formally characterizes the histories admissible for distributed programs that use them.
Emmanuelle Anceaume +4 more
openalex +3 more sources
Theoretical Computer Science, 1997 AbstractThis paper is concerned with the foundations of an extension of pure type systems by abstract data types, hence the name of Abstract Data Type Systems. ADTS generalize inductive types as they are defined in the calculus of constructions, by providing definitions of functions by pattern matching on the one hand, and relations among constructors ...
Jean-Pierre Jouannaud, Mitsuhiro Okada
openaire +3 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
The rational numbers as an abstract data type
Journal of the ACM, 2007 We give an equational specification of the field operations on the rational numbers under initial algebra semantics using just total field operations and 12 equations. A consequence of this specification is that 0 −1 = 0, an interesting equation consistent with the ring axioms and many properties of division.
Bergstra, J.A., Tucker, J.V.
openaire +7 more sources