An abstract memory functor for verified C static analyzers.

Sandrine Blazy Vincent Laporte David Pichardie

Published in: ICFP (2016)

Keyphrases

complex objects
memory usage
computing power
higher level
databases
low level
e learning
high dimensional
case study
search engine
computational power
artificial intelligence
database
limited memory
memory size
memory footprint
low memory
case based reasoner