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:
compressed postscript
Slides:
available for
retroprojection
,
ghostview
,
printing
,
PDF (367K)
.