Login / Signup
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).
Patrick Cousot
Radhia Cousot
Published in:
Formal Methods in Programming and Their Applications (1993)
Keyphrases
</>
invited paper
search engine
multi agent
databases
real world
learning algorithm
statistical analysis
context aware