C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Abstract interpretation repair.
Roberto Bruni
Roberto Giacobazzi
Roberta Gori
Francesco Ranzato
Published in:
PLDI (2022)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
active databases
dynamic analysis
database
management system
source code
reverse engineering