Weakest precondition synthesis for compiler optimizations (2014)

by Nuno P. Lopes, Jose ́ Monteiro
Venue:In Proc. of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation