Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation.

Oskar Haarklou Veileborg Georgian-Vlad Saioc Anders Møller

Published in: ASE (2022)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
reasoning engine
active databases
information systems