Login / Signup
Quantum abstract interpretation.
Nengkun Yu
Jens Palsberg
Published in:
PLDI (2021)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
reasoning engine
active databases
databases
source code
autonomous agents