Sign in
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation.
Patrick Cousot
Radhia Cousot
Published in:
FPCA (1995)
Keyphrases
</>
formal language
data warehouse
database
data mining