Weakest precondition synthesis for compiler optimizations (0)

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