"Precise Analysis of Memory Consumption using Program Logics."

Gilles Barthe, Mariela Pavlova, Gerardo Schneider (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics