Skip to main navigation
Skip to search
Skip to main content
Teesside University's Research Portal Home
Home
Profiles
Research units
TeesRep
Student theses
Projects
Datasets
Equipment
Press/Media
Search by expertise, name or affiliation
Memory Usage Verification for OO Programs
Wei-Ngan Chin
, Huu Hai Nguyen
,
Shengchao Qin
, Martin Rinard
SCEDT School Executive Team
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
144
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Memory Usage Verification for OO Programs'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Arithmetic Expressions
33%
Capture Data
33%
Heap Memory
33%
Memory Bound
33%
Memory Consumption
100%
Object-oriented Languages
33%
Object-oriented Program
100%
Presburger Arithmetic
33%
Safety Guarantee
33%
Structure Size
33%
Type Checker
33%
Type Systems
100%
Computer Science
Arithmetic Expression
25%
Data Structure
100%
Heap Memory
25%
Memory Bound
25%
Object Oriented Programming
25%
Oriented Program
100%
Type Systems
75%