Login / Signup
An Abstract Interpretation Framework for Type and Effect Systems.
Letterio Galletta
Published in:
Fundam. Informaticae (2014)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
management system
object oriented databases