[m-rev.] for review: put final version of DD paper on web site

[Ian MacLarty]

For review by anyone.

Estimated hours taken: 0.5
Branches: main

Put the final version of the declarative debugger search strategy paper on
the web site.

information/include/papers.inc:
	Put ACM copyright notice with abstract.
	Add full conference title.
	Fix anchor for timetravel paper.

information/papers/dd3.pdf:
information/papers/dd3.ps.gz:
	Final version of paper.

Index: information/include/papers.inc
===================================================================
RCS file: /home/mercury1/repository/w3/information/include/papers.inc,v
retrieving revision 1.47
diff -u -r1.47 papers.inc
--- information/include/papers.inc	8 Apr 2005 03:55:49 -0000	1.47
+++ information/include/papers.inc	18 Jul 2005 04:28:30 -0000
@@ -28,11 +28,12 @@
 </a>
 </strong>
 <br>
-Ian MacLarty, Zoltan Somogyi and Mark Brown
+Ian MacLarty, Zoltan Somogyi and Mark Brown.
 <em>
-Submission to AADEBUG'05,
+Sixth International Symposium on
+Automated and Analysis-driven Debugging,
 </em>
-Melbourne, March 2005.
+Monterey, California, September 2005.
 <p>
 
 <li>
@@ -691,20 +692,19 @@
 Ian MacLarty, Zoltan Somogyi and Mark Brown
 <br>
 <em>
-Submission to AADEBUG'05,
+Sixth International Symposium on
+Automated and Analysis-driven Debugging.
 </em>
-Department of Computer Science and Software Engineering,
-The University of Melbourne,
-March 2005.
+Monterey, California, September 2005.
 Available in
 <a href = "papers/dd3.pdf">
-pdf (206k)
+pdf (204k)
 </a>
 or
 <a href = "papers/dd3.ps.gz">
-ps.gz (90k)
+ps.gz (161k)
 </a>
-formats.
+formats.  
 <p>
 We have implemented a declarative debugger for Mercury
 that is capable of finding bugs in large, long-running programs.
@@ -733,7 +733,13 @@
 even more quickly than divide and query,
 and it tends to yield question sequences that are easier for users to answer.
 </p>
-
+<p>
+© ACM, (2005). This is the author's version of the work. It is
+posted here by permission of ACM for your personal use. Not for
+redistribution. The definitive version was published in  
+Proceedings of the Sixth International Symposium on
+Automated and Analysis-driven Debugging.
+</p>
 <li>
 <strong>
 <a name="decl_debug">
@@ -971,7 +977,7 @@
 
 <li>
 <strong>
-<a name = "papers.html#aadebug03-paper">
+<a name = "aadebug03-paper">
 Idempotent I/O for safe time travel
 </a>
 </strong>
Index: information/papers/dd3.pdf
===================================================================
RCS file: /home/mercury1/repository/w3/information/papers/dd3.pdf,v
retrieving revision 1.1
diff -u -r1.1 dd3.pdf
Binary files /tmp/cvsyZ9Wnw and dd3.pdf differ
Index: information/papers/dd3.ps.gz
===================================================================
RCS file: /home/mercury1/repository/w3/information/papers/dd3.ps.gz,v
retrieving revision 1.1
diff -u -r1.1 dd3.ps.gz
Binary files /tmp/cvs1okICO and dd3.ps.gz differ
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------