< Composite AutoProof Code Repository Dutch flag >

Doubly-Linked-List

Category: Data Structure

Source: ECOOP'04 / SC'14

Description

A node in a (circular) doubly-linked list with a structural invariant that its left and right links are consistent with its neighbours.

download source

Code