Precise analysis of memory consumption using program logics release_gp4kg64fefh7pag7awcdsvbxtq

by G. Barthe, M. Pavlova, G. Schneider

Archived Files and Locations

application/pdf  182.9 kB
file_dlmtcgulhjcytkhazlwyrzgvse
web.archive.org (webarchive)
www.cse.chalmers.se (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
+ 3 more URLs
application/pdf  129.9 kB
file_hu4gtgcg55cozeawqy3j2qwwi4
www-sop.inria.fr (web)
www-sop.inria.fr (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2005
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: db633200-3d38-43c2-995c-2e1b89659e0b
API URL: JSON