Login / Signup
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains.
Marc-Michel Corsini
Kaninda Musumbu
Antoine Rauzy
Baudouin Le Charlier
Published in:
PLILP (1993)
Keyphrases
</>
constraint solving
constraint logic programming
abstract interpretation
constraint satisfaction problems
constraint propagation
termination analysis
high level
constraint satisfaction
special case
database
lower bound
constraint solver