Memory Usage Inference for Object-Oriented Programs

dc.contributor.author	Nguyen, Huu Hai
dc.contributor.author	Chin, Wei Ngan
dc.contributor.author	Qin, Shengchao
dc.contributor.author	Rinard, Martin C.
dc.date.accessioned	2004-12-13T07:41:52Z
dc.date.available	2004-12-13T07:41:52Z
dc.date.issued	2005-01
dc.identifier.uri	http://hdl.handle.net/1721.1/7428
dc.description.abstract	We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias annotations, our inference system will compute the amount of memory required by the methods to execute successfully as well as the amount of memory released when methods return. The obtained analysis results are useful for networked devices with limited computational resources as well as embedded software.	en
dc.description.sponsorship	Singapore-MIT Alliance (SMA)	en
dc.format.extent	164810 bytes
dc.format.mimetype	application/pdf
dc.language.iso	en
dc.relation.ispartofseries	Computer Science (CS);
dc.subject	Type System	en
dc.subject	Object-Oriented Languages	en
dc.subject	Memory Management	en
dc.title	Memory Usage Inference for Object-Oriented Programs	en
dc.type	Article	en