Login / Signup

Pushdown flow analysis of first-class control.

Dimitrios VardoulakisOlin Shivers
Published in: ICFP (2011)
Keyphrases
  • flow analysis
  • control system
  • control theory
  • model checking
  • optimal control
  • control method
  • real time
  • data sets
  • databases
  • machine learning
  • association rules
  • multi class classification
  • adaptive control