Sign in
Refinement type inference via abstract interpretation
Ranjit Jhala
Rupak Majumdar
Andrey Rybalchenko
Published in:
CoRR (2010)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active databases
database
data warehouse
model checking
reasoning engine