Login / Signup

Precise interprocedural analysis through linear algebra.

Markus Müller-OlmHelmut Seidl
Published in: POPL (2004)
Keyphrases
  • linear algebra
  • artificial intelligence
  • image analysis