Results 11 to 20 of about 10,189,806 (382)
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 +7 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 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jean-Pierre Jouannaud, Mitsuhiro Okada
openaire +3 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 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
openaire +4 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 +7 more sources
On abstract data types presented by multiequations
Theoretical Computer Science, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
J. Adámek +2 more
openalex +3 more sources
Program Design With Abstract Data Types [PDF]
, 1975 Computer Science ...
Lawrence Flon
openalex +4 more sources
Specification of Abstract Data Types in Modula [PDF]
ACM Transactions on Programming Languages and Systems, 1980 The programming language MODULA is extended to permit the formal specification of the structure and functional capabilities of modules. This makes true hierarchical programming possible in MODULA by allowing programmers of higher level parts of a system to ignore completely the internal structure of lower level modules and to rely entirely on the ...
George W. Ernst, William F. Ogden
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