Static Analysis of Quantum Programs via Gottesman Types.

Robert Rand Aarthi Sundaram Kartik Singhal Brad Lackey

Published in: CoRR (2021)

Keyphrases

static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
malicious code
java card
regular expressions
test generation
database
open source
pattern matching
test suite
artificial intelligence