[Add a link to Olaf's new "theory of tracing" proposal/project.
malcolm**20050628132352] {
hunk ./docs/publications.html 16
+<li>Olaf Chitil<br>
+<strong>A Theory of Tracing Pure Functional Programs</strong><br>
+<p>
+During the development of the Haskell tracer Hat, which combines the tracing
+methods of several preceding systems, numerous inconsistencies, anomalies and
+defects in all existing systems came to light. Experience in using the systems
+suggests desirable generalisations that are hard to realise. At the root of
+both problems is that the development of the existing systems was
+implementation-driven, guided mostly by intuition. There is a surprising lack
+of theoretical foundations for tracing. To resolve the inconsistencies and
+enable generalisations, this project aims at establishing a semantical theory
+of tracing pure functional programs, both eager and lazy, that describes
+different methods, links information gained from tracing to specific program
+parts, and establishes the correctness of fault location algorithms.
+<br><a href="http://www.cs.kent.ac.uk/people/staff/oc/traceTheory.html">Web
+link</a>
+
hunk ./docs/publications.html 219
-This page last modified: 11 March 2004<br>
+This page last modified: 28 June 2005<br>
}