Precise Analysis of Memory Consumption using Program Logics.

Gilles Barthe, Mariela Pavlova, Gerardo Schneider

Browse the full SEFM paper archive.