Login / Signup

Generalized typestate checking using set interfaces and pluggable analyses.

Patrick LamViktor KuncakMartin C. Rinard
Published in: ACM SIGPLAN Notices (2004)
Keyphrases
  • real time
  • genetic algorithm
  • digital libraries
  • small number
  • neural network
  • feature selection
  • multimedia
  • objective function
  • lower bound
  • hidden markov models
  • feature set