Time-bounded termination analysis for probabilistic programs with delays.

Ming Xu Yuxin Deng

Published in: Inf. Comput. (2020)

Keyphrases

termination analysis
abstract interpretation
active rules
active databases
control flow
relational databases
databases
data mining
information systems
data structure
data analysis
management system
integrity constraints
static analysis