Loading...
Please wait, while we are loading the content...
Similar Documents
Memory Usage Inference for Object-Oriented Programs
| Content Provider | Semantic Scholar |
|---|---|
| Author | Nguyen, Huu Hai Chin, Wei-Ngan Qin, Shengchao Rinard, Martin C. |
| Copyright Year | 2005 |
| 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://people.csail.mit.edu/rinard/paper/sma05usage.pdf |
| Alternate Webpage(s) | http://www.cag.csail.mit.edu/~rinard/paper/sma05usage.pdf |
| Alternate Webpage(s) | http://people.csail.mit.edu/rinard//paper/sma05usage.pdf |
| Alternate Webpage(s) | http://dspace.mit.edu/bitstream/1721.1/7428/1/CS018.pdf |
| Alternate Webpage(s) | http://www.cag.lcs.mit.edu/~rinard/paper/sma05usage.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
