A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.
Florin CraciunShengchao QinWei-Ngan ChinPublished in: ICFEM (2008)
Keyphrases
- memory management
- object oriented
- operating system
- garbage collection
- hardware implementation
- object oriented databases
- database applications
- programming language
- data model
- database schema
- image segmentation
- computing environments
- relational databases
- java virtual machine
- parallel computation
- query language
- pattern recognition
- database
- computer systems
- software engineering
- management system
- reverse engineering