Automated Termination Analysis of Polynomial Probabilistic Programs.

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

Published in: ESOP (2021)

Keyphrases

termination analysis
abstract interpretation
active databases
active rules
multi dimensional
database management systems
fine grained
spatial information