Termination Analysis of Probabilistic Programs Through Positivstellensatz's.

Krishnendu Chatterjee Hongfei Fu Amir 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