Sign in

Enforcing object protocols by combining static and runtime analysis.

Madhu GopinathanSriram K. Rajamani
Published in: OOPSLA (2008)
Keyphrases
  • data analysis
  • image analysis
  • neural network
  • artificial intelligence
  • databases
  • real world
  • machine learning
  • object tracking
  • complex objects
  • dynamic analysis