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

Map ADT

Category: Data Structure

Source: VSI'08

Description

Implementation of a generic Map ADT based on two lists that contain the keys and values. Operations are implemented by doing linear search on the lists.

download source

Code