[m-dev.] diff: update to the papers page

[Zoltan Somogyi]

Estimated hours taken: 0.1

Added the slides for the 257 Mercury segment as taught in 1999,
and the debugger paper that will soon appear at the environment workshop
at iclp99.

Zoltan.

cvs diff: Diffing .
Index: papers.inc
===================================================================
RCS file: /home/mercury1/repository/w3/information/include/papers.inc,v
retrieving revision 1.13
diff -u -b -r1.13 papers.inc
--- papers.inc	1999/10/27 01:26:42	1.13
+++ papers.inc	1999/11/17 02:58:42
@@ -17,6 +17,35 @@
 
 <li>
 <strong>
+The implementation technology of the Mercury debugger
+</strong>
+<br>
+Zoltan Somogyi and Fergus Henderson.
+<br>
+<em>
+To appear in the Proceedings of the Tenth Workshop
+on Logic Programming Environments
+</em>,
+Las Cruces, New Mexico, November 1999.
+<a href="papers/debugger_wlpe99.ps.gz">Available here (66K)</a>.
+<p>
+
+Every programming language needs a debugger.
+Mercury now has three debuggers:
+a simple procedural debugger
+similar to the tracing systems of Prolog implementations,
+a prototype declarative debugger,
+and a debugger based on the idea of automatic trace analysis.
+In this paper, we present the shared infrastructure
+that underlies the three debuggers,
+and describe the implementation of the procedural debugger.
+We give our reasons for each of our main design decisions,
+and show how several of these decisions are rooted in our experience
+with the debugging of large programs working with large data structures.
+<p>
+
+<li>
+<strong>
 Making Mercury programs tail recursive (extended abstract)
 </strong>
 <br>
@@ -323,7 +352,6 @@
 and a novel way of handling nested disjunctions.
 <p>
 
-
 <li>
 <strong>
 Compiling logic programs to C
@@ -478,7 +506,6 @@
 </a>
 <p>
 
-
 <li>
 <strong>
 Strong modes can change the world!
@@ -657,6 +684,20 @@
 Adelaide, South Australia, February 1995.
 <a href = "papers/acsc95_slides.ps.gz">
 Available here (33K).
+</a>
+<p>
+
+<li>
+<strong>
+Lecture notes for the expanded Mercury segment of the subject
+433-257 Frontiers of Computer Science, given in 1999.
+(Whereas the segment in 1997 had four lectures, in 1999 it had six.)
+</strong>
+<br>
+Zoltan Somogyi.
+<br>
+<a href = "papers/257_1999.ps.gz">
+Available here (40K).
 </a>
 <p>
 
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------