< Concurrent GCD AutoProof Code Repository Doubly-Linked-List >

Dancing Links

Category: Data Structure

Source: ETAPS'15

Description

A node in a (circular) doubly-linked list that can be removed from the list and subsequently efficiently reinserted.

download source

Code