Standard fixpoint iteration for Java bytecode verification.

Published in: ACM Trans. Program. Lang. Syst. (2000)

Keyphrases

fixpoint
java bytecode
logic programs
deductive databases
finite state machines
model checking
virtual machine
database
programming language
artificial intelligence
data sources
nonmonotonic reasoning
datalog programs
efficient execution