Re: Bounding memory usage

=?ISO-8859-1?Q?Bj=F6rn_Franke?= <>
Fri, 11 Sep 2009 10:55:12 +0100

          From comp.compilers

Related articles
Bounding memory usage (Fernando) (2009-09-08)
Re: Bounding memory usage (BGB / cr88192) (2009-09-09)
Re: Bounding memory usage (Fernando) (2009-09-10)
Re: Bounding memory usage (=?ISO-8859-1?Q?Bj=F6rn_Franke?=) (2009-09-11)
Re: Bounding memory usage (Mike Burrell) (2009-09-11)
| List of all articles for this month |

From: =?ISO-8859-1?Q?Bj=F6rn_Franke?= <>
Newsgroups: comp.compilers
Date: Fri, 11 Sep 2009 10:55:12 +0100
Organization: Edinburgh University
References: 09-09-050
Keywords: storage, bibliography
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.



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.