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.