-
Patrick Cousot.
Rule-Based Specifications and their Abstract Interpretation (Invited Lecture)
4th Advanced Seminar on Foundations of Declarative Programming, DSIC, Valencia, Spain, June 15-16, 1998.
- Abstract: We show that in formal abstract semantics specification rule-based, constraint-based and fixpoint definitions are equivalent (and so that static analysis methods based on inference, constraint solving and fixpoint computation/approximation are essentially equivalent).
- Slides: .pdf.