Results 1 to 10 of about 8,751,229 (374)
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
semanticscholar +9 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 +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
Programming with abstract data types [PDF]
ACM SIGPLAN Notices, 1974 The motivation behind the work in very-high-level languages is to ease the programming task by providing the programmer with a language containing primitives or abstractions suitable to his problem area. The programmer is then able to spend his effort in the right place; he concentrates on solving his problem, and the resulting program will be more ...
LiskovBarbara, ZillesStephen
openaire +3 more sources
Efficient Data Streaming Multiway Aggregation through Concurrent Algorithmic Designs and New Abstract Data Types [PDF]
ACM Transactions on Parallel Computing, 2017 Data streaming relies on continuous queries to process unbounded streams of data in a real-time fashion. It is commonly demanding in computation capacity, given that the relevant applications involve very large volumes of data.
Vincenzo Gulisano +4 more
openalex +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
Class-Diagrams for Abstract Data Types [PDF]
International Colloquium on Theoretical Aspects of Computing, 2017 We propose to extend iUML-B class-diagrams to elaborate Abstract Data Types (ADTs) specified using Event-B theories. Classes are linked to data types, while attributes and associations correspond to operators of the data types. Axioms about the data types and operators are specified as constraints on the class.
Hoang, Thai Son +3 more
openaire +3 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