Termination Analysis of Probabilistic Programs through Positivstellensatz's.

Krishnendu Chatterjee Hongfei Fu Amir Kafshdar Goharshady

Published in: CoRR (2016)

Keyphrases

termination analysis
abstract interpretation
active rules
active databases
control flow
multi dimensional
object oriented databases