Automated Termination Analysis of Polynomial Probabilistic Programs.

Marcel Moosbrugger Ezio Bartocci Joost-Pieter Katoen Laura Kovács

Published in: CoRR (2020)

Keyphrases

termination analysis
abstract interpretation
active rules
active databases
reasoning engine
web services
database systems
spatial data
temporal databases