WLPE 2004
Saint-Malo, France
September 6 - 7, 2004
Index
|
REGULAR TYPES, MODES AND MODEL CHECKING
John Gallagher
Roskilde University
(Monday, September 6th)
In this talk a static analysis technique for logic programs will be
described. The approach provides a unified treatment of regular
types, instantiation modes and arbitrary regular term properties
expressible as non-deterministic finite tree automata. The foundation
of the method is a technique for deriving a pre-interpretation and
then computing the least model with respect to the pre-interpretation.
The talk will have a practical focus, illustrating the method for
various applications and discussing how to tackle the complexities
that can arise.
|