Queue (abstract data type)

Formal sciences
Theoretical computer science
Algorithms and data structures
Data structures

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (22)

Page 1 of 3

Data Abstraction: Modules and Specifications in Coq

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

Stacks and Queues: Implementation and Efficiency

Explores the implementation and efficiency of stacks and queues, along with an algorithmic challenge involving train order determination.

Universal Constructions: Consensus and Shared Memory Models

Explores universality, consensus objects, shared memory models, and FIFO Queue implementation.

Abstract Data Structures and Standard Libraries

Covers abstract data structures and the C++ standard library, including linked lists, stacks, queues, and complex numbers.

Elementary Data Structures: Stacks, Queues, Linked Lists

Covers stacks, queues, and linked lists, emphasizing efficiency and dynamic structures.

Data Structures: Stacks, Queues, Linked Lists

Covers stacks, queues, linked lists, and binary search trees in data structures.

Algorithms Exam Preparation

Offers a recap before the Algorithms exam, covering problem-solving strategies and algorithm implementation with sample problems.

Amortized Conc-Tree Appends

Explores constant time appends in Conc-Trees and counting in a binary number system.

Stainless Verification System Tutorial

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

Implementation of Singly Linked Lists

Covers the implementation of singly linked lists in Java, focusing on concepts such as nodes, size management, adding, removing, and getting elements.