"Runtime Checking for Separation Logic."

Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics