Weakest Precondition Synthesis for Compiler Optimizations.

Nuno P. Lopes, Jos Monteiro

Browse the full VMCAI paper archive.