Login / Signup

Implementing termination analysis on quantum programming.

Shusen LiuKan HeRunyao 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