Login / Signup
A portable virtual machine target for proof-carrying code.
Michael Franz
Deepak Chandra
Andreas Gal
Vivek Haldar
Christian W. Probst
Fermín Reig
Ning Wang
Published in:
Sci. Comput. Program. (2005)
Keyphrases
</>
virtual machine
java bytecode
java virtual machine
operating system
data center
computing resources
distributed computing
windows xp
low latency
virtual memory
theorem prover
cloud computing environment
multi tasking
source code
machine learning
java card
low cost
programming language