Fundamentals of computing II : abstraction, data structures and large software systems : C++ laboratory manual / by Tucker, Allen B.

Subjects:

Data abstraction and program development using PASCAL / by 315248 Hille, Reinhold Friedrich

Subjects:

Data structures, data abstraction : a contemporary introduction using C++ / by 378412 Model, Mitchell L.

Subjects:

Data structures and abstraction using C / by 455725 Whale, Geoff

Subjects:

Data structures, data abstraction : a contemporary introduction using C++ / [disket] by 378412 Model, Mitchell L.

Subjects:

Mini-Projects Development in Computer Science - Students' Use of Organization Tools by Zahava SCHERZ, Bruria HABERMAN

Subjects: “…abstract data types…”
Get full text

Data abstraction and object-oriented programming in C++ / by 417750 Gorlen, Keith E., Orlow, Sanford M., Plexico, Perry S.

Subjects:

Data abstraction and structures : an introduction to computer science II / by 458833 Riley, David D.

Subjects: “…Abstract data types (Computer science)…”

Data abstraction and object-oriented programming in C++ [disket] / by 417750 Gorlen, Keith E.

Subjects:

Implementation of hyperbolic complex numbers in Julia language by Anna V. Korolkova, Migran N. Gevorkyan, Dmitry S. Kulyabov

Subjects: Get full text

Adapting proofs-as-programs : the curry - howard protocol / by 287020 Poernomo, Iman Hafiz, Crossley, John N., Wirsing, M. (Martin)

Subjects:

What you needa know about Yoneda: Profunctor optics and the Yoneda lemma by Boisseau, G, Gibbons, J

Subjects: “…Software and its engineering → Abstract data types; Data types and structures; Patterns; Polymorphism; Semantics…”

Development of an object-oriented machine elements design system/ by 454787 Lee, Song Chow

“…Object-oriented design is the construction of software system as structuredcollections of abstract data type implementations. Its approach offers three important advantages, namely reusability, extendibility and compatibility. …”

Design of interactive learning courseware for data structures by Haifa' Nadhirah Haji Hussain

“…This report accounts the author’s experience in completing her Final Year Project (FYP) titled ‘Design of Interactive Courseware for Data Structures and Algorithms’, specifically on the topic of Arrays and Linked Lists, and its implementations on Stack and Queue Abstract Data Type (ADT). This report encapsulates the introduction to the project, the overall methodology in developing the courseware for online learning and the process of completing this project. …”
Get full text

Composite replicated data types by Yang, H

“…Similarly to an abstract data type, a composite data type encapsulates objects of replicated data types and operations used to access them, implemented using transactions. …”

Program synthesis from domain specific object models by Faitelson, D

“…The semantics of a Booster model is a single abstract data type (ADT) where the invariants and the methods of all the classes in the model are promoted to the level of the ADT. …”

Identifying High-Level Concept Clones in Software Programs Using Method’s Descriptive Documentation by Aditi Gupta, Rinkaj Goyal

“…Conceptual code clones are the ones implementing a similar higher-level abstraction such as an Abstract Data Type (ADT) list. Based on the assumption that “similar documentation implies similar methods”, the proposed mechanism uses “documentation” associated with methods to identify method-level concept clones. …”
Get full text

Stream fusion: practical shortcut fusion for coinductive sequence types by Coutts, D

“…</p> <p>Stream fusion is one such fusion optimisation that can eliminate intermediate data structures, including lists, arrays and other abstract data types that can be viewed as coinductive sequences. …”

Functional directed acyclical graphs for scattering amplitudes in perturbation theory by Thorsten Ohl

“…I reexpress the established numerical methods for the recursive construction of scattering elements as operations on compact abstract data types. This allows efficient perturbative computations in arbitrary models, as long as they can be described by an effective, not necessarily local, Lagrangian.…”
Get full text

Specifications and Verification Techniques for Parallel Programs Based on Message Passing Semantics by Yonezawa, Akinori

“…They can specify and verify the behavior of data and procedural objects in multi-process environments, thus overcoming some of the difficulties in dealing with parallelism which characterized previous work on formal specifications for abstract data types.…”
Get full text