"From Array Domains to Abstract Interpretation Under Store-Buffer-Based ..."

Thibault Suzanne, Antoine Miné (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics