Sign in

Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract.

Cinzia BernardeschiNicoletta De FrancescoLuca Martini
Published in: OTM Workshops (2003)
Keyphrases
  • extended abstract
  • flow graphs
  • control system
  • neural network
  • control method
  • databases
  • state space
  • model checking
  • learning algorithm
  • decision making
  • pattern recognition
  • genetic programming
  • attribute values