Login / Signup

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation.

Patrick CousotRadhia Cousot
Published in: FPCA (1995)
Keyphrases
  • formal language
  • data warehouse
  • database
  • data mining