Sign in

Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis.

Patrick CousotRadhia Cousot
Published in: ICCL (1994)
Keyphrases
  • higher order
  • data mining
  • static analysis
  • abstract interpretation
  • knowledge base
  • case study