< Iterator AutoProof Code Repository Longest Common Prefix (LCP) >

Linked queue

Category: Data Structure

Source: VSI'08

Description

A queue is implemented using a linked list. The client does not need to know the implementation details to be able to use the queue and verify client code.

download source

Code