Debugging tools for concurrent logic programming

[ Bristol CS | Index ]

Debugging tools for concurrent logic programming

In a project sponsored by ICOT, we are working on debugging tools for concurrent logic programming languages, specifically KLIC.

COD: a Channel Oriented Debugger

We have developed a Channel Oriented Debugger for concurrent logic programs. It allows the user to interactively locate the source of a bug by repeatedly following links from an incorrect variable binding to the process (goal) that produced it. A paper is available; see abstract.

Instant Replay

We have developed a debugging tool based on the Instant Replay technique, which provides reproducible execution of concurrent logic programs. A paper is available; see abstract. The software is also available.

Steve Gregory