|Bounding memory usage email@example.com (Fernando) (2009-09-08)|
|Re: Bounding memory usage firstname.lastname@example.org (BGB / cr88192) (2009-09-09)|
|Re: Bounding memory usage email@example.com (Fernando) (2009-09-10)|
|Re: Bounding memory usage firstname.lastname@example.org (=?ISO-8859-1?Q?Bj=F6rn_Franke?=) (2009-09-11)|
|Re: Bounding memory usage email@example.com (Mike Burrell) (2009-09-11)|
|Date:||Fri, 11 Sep 2009 10:55:12 +0100|
|Posted-Date:||13 Sep 2009 20:07:03 EDT|
> could some of you guys give me pointers to some static analyzes
> that are able to determine when a program consumes a bounded amount of
> heap space? I know that this problem will be undecidable in general,
> but I would appreciate even a very conservative estimation. I am
> mostly interested in compiling Java in this case, but pointers to
> general analyzes would be welcome.
Automatic Certification of Heap Consumption (Lennart Beringer, Martin
Hofmann, Alberto Momigliano, and Olha Shkaravska). In Franz Baader and
Andrei Voronkov (editors): Proceedings of the 11th International
Conference on Logic for Programming, Artificial Intelligence and
Reasoning (LPAR2004), Montevideo, Uruguay, March 14-18th, 2005. Volume
3452 of Lecure Notes in Artificial Intelligence, Springer.
Return to the
Search the comp.compilers archives again.