Integrating a certified memory management runtime with proof-carrying code.

Nadeem Abdul Hamid

Published in: SAC (2007)

Keyphrases

memory management
java virtual machine
operating system
hardware implementation
garbage collection
computing environments
source code
neural network
parallel computation
data analysis
efficient implementation
virtual machine
program execution