Sign in

Reachability-based acyclicity analysis by Abstract Interpretation.

Samir GenaimDamiano Zanardini
Published in: Theor. Comput. Sci. (2013)
Keyphrases
  • abstract interpretation
  • static analysis
  • databases
  • information systems
  • database
  • logic programs
  • logic programming
  • data exchange