Proof-carrying Bytecode.

Stephen Gilmore Matthew Prowse

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

smart card
virtual machine
theorem proving
java card
linear logic
source code
theorem prover
data sets
information retrieval
search engine
expert systems
java virtual machine
programs written