Please use this identifier to cite or link to this item: https://doi.org/10.1007/11547662_7
Title: Memory usage verification for OO programs
Authors: Chin, W.-N. 
Nguyen, H.H.
Qin, S.
Rinard, M.
Issue Date: 2005
Source: Chin, W.-N.,Nguyen, H.H.,Qin, S.,Rinard, M. (2005). Memory usage verification for OO programs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3672 LNCS : 70-86. ScholarBank@NUS Repository. https://doi.org/10.1007/11547662_7
Abstract: We present a new type system for an object-oriented (OO) language that characterizes the sizes of data structures and the amount of heap memory required to successfully execute methods that operate on these data structures. Key components of this type system include type assertions that use symbolic Presburger arithmetic expressions to capture data structure sizes, the effect of methods on the data structures that they manipulate, and the amount of memory that methods allocate and deallocate. For each method, we conservatively capture the amount of memory required to execute the method as a function of the sizes of the method's inputs. The safety guarantee is that the method will never attempt to use more memory than its type expressions specify. We have implemented a type checker to verify memory usages of OO programs. Our experience is that the type system can precisely and effectively capture memory bounds for a wide range of programs. © Springer-Verlag Berlin Heidelberg 2005.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/41989
ISBN: 3540285849
ISSN: 03029743
DOI: 10.1007/11547662_7
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

23
checked on Jan 17, 2018

Page view(s)

61
checked on Jan 14, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.