Login / Signup

Binding-time Analysis: Abstract Interpretation versus Type Inference.

Jens PalsbergMichael I. Schwartzbach
Published in: ICCL (1994)
Keyphrases
  • abstract interpretation
  • static analysis
  • database
  • open source
  • autonomous agents