Results 1 to 10 of about 4,451,593 (242)
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
Abstract Constraint Data Types [PDF]
, 2015 Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e.g., [2]), which he explored in a variety of domains over many years. Throughout his career, he has also inspired countless researchers in related areas.
F. Orejas +9 more
core +7 more sources
Parametric Compositional Data Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 In previous work we have illustrated the benefits that compositional data types (CDTs) offer for implementing languages and in general for dealing with abstract syntax trees (ASTs).
Tom Hvitved, Patrick Bahr
doaj +6 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
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
Program Design With Abstract Data Types [PDF]
, 1975 Computer Science ...
Lawrence Flon
openalex +4 more sources
Abstract Data Types in Event-B - An Application of Generic Instantiation [PDF]
, 2012 Integrating formal methods into industrial practice is a challenging task. Often, different kinds of expertise are required within the same development.
David Basin +4 more
openalex +4 more sources
Abstract data types as reusable software components: the case for twin ADTs [PDF]
, 1992 data types (ADTs) are typical candidates for reusable software components. An important, although generally undecidable, question is how to design ADTs so as to make them truly reusable.
Klaas Sikkel, J. C. van Vliet
openalex +5 more sources