@inproceedings{a33dc85548d74a22bc7429dcc2beda8f,
title = "Automatic accurate live memory analysis for garbage-collected languages",
abstract = "This paper describes a general approach for automatic and accurate live heap space and live heap space-bound analyses for high-level languages. The approach is based on program analysis and transformations and is fully automatic. The space-bound analysis produces accurate (tight) upper bounds in the presence of partially known input structures. The analyses have been implemented and experimental results confirm their accuracy.",
author = "Leena Unnikrishnan and Stoller, \{Scott D.\} and Liu, \{Yanhong A.\}",
note = "Publisher Copyright: {\textcopyright} ACM 2001.; 2001 ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, LCTES 2001 ; Conference date: 22-06-2001 Through 23-06-2001",
year = "2001",
month = aug,
day = "1",
doi = "10.1145/384197.384212",
language = "English",
series = "LCTES 2001 - Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems",
publisher = "Association for Computing Machinery, Inc",
pages = "102--111",
booktitle = "LCTES 2001 - Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems",
}