Patrick Cousot.
A few remarks on the abstraction and equivalence of semantics.
IFIP WG 2.3 meeting, Obernai, France, september 26, 1997.
Abstract:
Informal comments on the paper
Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation
.
Slides of the WG 2.3 40mn talk in Obernai are available for
retroprojection
,
ghostview
,
printing
.