Login / Signup
Implementing termination analysis on quantum programming.
Shusen Liu
Kan He
Runyao Duan
Published in:
Sci. China Inf. Sci. (2019)
Keyphrases
</>
termination analysis
active rules
active databases
abstract interpretation
programming language
software engineering
logic programming
context aware
integrity constraints
object oriented databases