Sign in

Corrigendum to "Reachability-based acyclicity analysis by abstract interpretation" [Theoretical Computer Science 474 (2013) 60-79].

Samir GenaimDamiano Zanardini
Published in: Theor. Comput. Sci. (2013)
Keyphrases
  • theoretical computer science
  • abstract interpretation
  • static analysis
  • artificial intelligence
  • special case
  • mutual information
  • reasoning engine