ILPS97 Tutorials

LP and Natural Language

Veronica Dahl

Multi-paradigm Declarative Programming

Michael Hanus

Programming with Global Analysis

Manuel Hermenegildo

Transaction Logic: An Introduction

Michael Kifer

Set-based Program Analysis

Andreas Podelski

Constraint Programming in Oz

Gert Smolka

Logic Programming Tools for Advanced Internet Programming

Paul Tarau