[m-rev.] diff: add the CICLOPS paper to the web page

Zoltan Somogyi zs at cs.mu.OZ.AU
Mon Aug 8 17:19:18 AEST 2005


information/papers/ciclops05.pdf:
information/papers/ciclops05.ps.gz:
	Add the paper to be presented at CICLOPS 05.

information/include/papers.inc:
	Add references to the CICLOPS paper.

news/newsdb.inc:
	Add references to the AADEBUG and CICLOPS papers.

Zoltan.

cvs diff: Diffing .
cvs diff: Diffing bin
cvs diff: Diffing contact
cvs diff: Diffing contact/include
cvs diff: Diffing download
cvs diff: Diffing download/include
cvs diff: Diffing download/patches
cvs diff: Diffing htdig
cvs diff: Diffing htdig/include
cvs diff: Diffing images
cvs diff: Diffing include
cvs diff: Diffing information
cvs diff: Diffing information/bench
cvs diff: Diffing information/deep_demo
cvs diff: Diffing information/developers
cvs diff: Diffing information/dotnet
cvs diff: Diffing information/events
cvs diff: Diffing information/events/images
cvs diff: Diffing information/include
Index: information/include/papers.inc
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/information/include/papers.inc,v
retrieving revision 1.48
diff -u -b -r1.48 papers.inc
--- information/include/papers.inc	18 Jul 2005 04:45:37 -0000	1.48
+++ information/include/papers.inc	8 Aug 2005 07:13:51 -0000
@@ -22,6 +22,20 @@
 
 <li>
 <strong>
+<a href = "papers.html#ciclops05">
+The implementation of minimal model tabling in Mercury (extended abstract)
+</a>
+</strong>
+<br>
+Zoltan Somogyi and Konstantinos Sagonas,
+<em>
+Colloquium on Implementation of Constraint and Logic Programming Systems,
+</em>
+Barcelona, Spain, October 2005.
+<p>
+
+<li>
+<strong>
 <a href = "papers.html#dd3">
 Divide-and-query and subterm dependency tracking in the Mercury declarative
 debugger
@@ -680,6 +694,52 @@
 <h2><a name="mercury">Papers on Mercury</a></h2>
 
 <ul>
+
+<li>
+<strong>
+<a name="ciclops05">
+The implementation of minimal model tabling in Mercury (extended abstract)
+</a>
+</strong>
+<br>
+Zoltan Somogyi and Konstantinos Sagonas,
+<em>
+Colloquium on Implementation of Constraint and Logic Programming Systems,
+</em>
+Barcelona, Spain, October 2005.
+Available in
+<a href = "papers/ciclops05.pdf">
+pdf (312k)
+</a>
+or
+<a href = "papers/ciclops05.ps.gz">
+ps.gz (90k)
+</a>
+formats.  
+<p>
+For any LP system, tabling can be quite handy in a variety of tasks,
+especially if it is efficiently implemented
+and fully integrated in the language.
+Implementing tabling in Mercury
+poses special challenges for several reasons.
+First, Mercury is both semantically and culturally quite different from Prolog.
+While decreeing that tabled predicates must not include cuts
+is acceptable in a Prolog system,
+it is not acceptable in Mercury,
+since if-then-elses and existential quantification
+have sound semantics for stratified programs
+and are used very frequently
+both by programmers and by the compiler.
+The Mercury implementation thus has no option
+but to handle interactions of tabling
+with Mercury's language features safely.
+Second, the Mercury implementation is vastly different from the WAM,
+and many of the differences
+(e.g. the absence of a trail)
+have significant impact on the implementation of tabling.
+In this paper, we describe how we adapted the copying approach to tabling
+to implement minimal model tabling in Mercury.
+</p>
 
 <li>
 <strong>
cvs diff: Diffing information/papers
Index: information/papers/ciclops05.pdf
===================================================================
RCS file: information/papers/ciclops05.pdf
diff -N information/papers/ciclops05.pdf
Binary files /dev/null and ciclops05.pdf differ
Index: information/papers/ciclops05.ps.gz
===================================================================
RCS file: information/papers/ciclops05.ps.gz
diff -N information/papers/ciclops05.ps.gz
Binary files /dev/null and ciclops05.ps.gz differ
cvs diff: Diffing information/reports
cvs diff: Diffing mailing-lists
cvs diff: Diffing mailing-lists/include
cvs diff: Diffing mailing-lists/mercury-ads
cvs diff: Diffing mailing-lists/mercury-ads/include
cvs diff: Diffing mailing-lists/mercury-developers
cvs diff: Diffing mailing-lists/mercury-developers/include
cvs diff: Diffing mailing-lists/mercury-reviews
cvs diff: Diffing mailing-lists/mercury-reviews/include
cvs diff: Diffing mailing-lists/mercury-users
cvs diff: Diffing mailing-lists/mercury-users/include
cvs diff: Diffing news
Index: news/newsdb.inc
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/news/newsdb.inc,v
retrieving revision 1.85
diff -u -b -r1.85 newsdb.inc
--- news/newsdb.inc	11 May 2005 09:05:20 -0000	1.85
+++ news/newsdb.inc	8 Aug 2005 07:15:11 -0000
@@ -22,6 +22,17 @@
 
 $newsdb = array(
 
+"8 August 2005" => array("Two new papers",
+
+"Two new papers titled
+\"Divide-and-query and subterm dependency tracking in the Mercury declarative
+debugger\"
+and
+\"The implementation of minimal model tabling in Mercury (extended abstract)\"
+are now available from our
+<A HREF=\"information/papers.html\">papers page</A>."
+)
+
 "11 May 2005" => array("Functional dependencies",
 
 "We've added support for functional dependencies to the typeclass system.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list