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