Sign in

Termination Analysis of Probabilistic Programs Through Positivstellensatz's.

Krishnendu ChatterjeeHongfei FuAmir Kafshdar Goharshady
Published in: CAV (1) (2016)
Keyphrases
  • termination analysis
  • abstract interpretation
  • active rules
  • active databases
  • programming language
  • multi dimensional
  • fine grained
  • database technology
  • modeling language