On the Verification of Memory Management Mechanisms.

Iakov Dalinger Mark A. Hillebrand Wolfgang J. Paul

Published in: CHARME (2005)

Keyphrases

memory management
operating system
garbage collection
hardware implementation
computing environments
parallel computation
java bytecode
virtual machine
database
general purpose
building blocks
memory access
java virtual machine