Conférences invitées / Invited Talks
- Memoization in Constraint Logic Programming
Mark Johnson,
Brown University, USA
- Programming with Tabling in XSB
David S. Warren,
University of New York at Stony Brook, USA
- In this talk I describe how XSB, a tabling Prolog system, can be
used effectively to program useful tasks in a variety of domains. The
presentation is through the use of examples, with examples being taken
from some of the following areas: traditional dynamic programming
problems, finite state automata theory, context-free language
recognition, parsing and analysis, recursive aggregation,
meta-interpreters, program analysis and abstract interpretation, model
checking, and abduction.