Login / Signup

Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis.

María-del-Mar GallardoJosé M. Troya
Published in: LOPSTR (1995)
Keyphrases
  • abstract interpretation
  • termination analysis
  • static analysis
  • active rules
  • reasoning engine
  • data analysis
  • databases
  • relational databases
  • distributed systems
  • data modeling
  • dynamic analysis