Reverse Template Processing Using Abstract Interpretation.

Matthieu Lemerre

Published in: SAS (2023)

Keyphrases

abstract interpretation
termination analysis
static analysis
databases
database
matching algorithm