Structuring Abstract Interpreters Through State and Value Abstractions.

Sandrine Blazy, David Bhler, Boris Yakobowski

Browse the full VMCAI paper archive.