An abstract memory functor for verified C static analyzers.

Sandrine Blazy, Vincent Laporte, David Pichardie

Browse the full ICFP paper archive.