Login / Signup

On Polymorphic Recursion, Type Systems, and Abstract Interpretation.

Marco CominiFerruccio DamianiSamuel Vrech
Published in: SAS (2008)
Keyphrases
  • abstract interpretation
  • distributed systems
  • static analysis
  • databases
  • management system
  • business processes
  • logic programs