A Verified Implementation of the Bounded List Container.

Raphaël Cauderlier Mihaela Sighireanu

Published in: TACAS (1) (2018)

Keyphrases

efficient implementation
information retrieval
three dimensional
implementation issues
data sets
data structure
video sequences
artificial neural networks
general purpose