Login / Signup
Reachability and Termination Analysis of Concurrent Quantum Programs
Nengkun Yu
Mingsheng Ying
Published in:
CoRR (2012)
Keyphrases
</>
termination analysis
abstract interpretation
active rules
active databases
integrity constraints
static analysis
control flow
state space
database management systems