[m-rev.] for review: Add my honours report to the papers page

Julien Fischer juliensf at students.cs.mu.OZ.AU
Tue Nov 12 13:36:42 AEDT 2002


Estimated hours taken: 0.1

news/newsdb.inc:
information/include/papers.inc:
	Mention the report.

information/papers/juliensf_hons.ps.gz:
	The report.

Julien

Index: information/include/papers.inc
===================================================================
RCS file: /home/mercury1/repository/w3/information/include/papers.inc,v
retrieving revision 1.40
diff -u -r1.40 papers.inc
--- information/include/papers.inc	4 Nov 2002 13:12:32 -0000	1.40
+++ information/include/papers.inc	12 Nov 2002 01:46:09 -0000
@@ -22,6 +22,20 @@
 
 <li>
 <strong>
+<a href = "papers.html#juliensf-hons">
+Termination analysis for Mercury using convex constraints
+</a>
+</strong>
+<br>
+Julien Fischer.
+<em>
+Honours report,
+</em>
+Melbourne, 2002.
+<p>
+
+<li>
+<strong>
 <a href = "papers.html#conway-thesis">
 Towards parallel Mercury
 </a>
@@ -581,6 +595,36 @@
 <h2><a name="mercury">Papers on Mercury</a></h2>
 
 <ul>
+
+<li>
+<strong>
+<a name="juliensf-hons">
+Termination analysis for Mercury using convex constraints
+</a>
+</strong>
+<br>
+Julien Fischer.
+<br>
+<em>
+Honours report,
+</em>
+Department of Computer Science, 
+University of Melbourne, 
+August 2002.
+<a href = "papers/juliensf_hons.ps.gz">
+Available here (143K).
+</a>
+<p>
+This report presents a new termination analysis for Mercury that
+approximates interargument size relationships using convex constraints.
+These relationships are derived using an analysis based upon abstract
+interpretation.
+Although this analysis is more expensive than that of the existing termination
+analyser, it is able to prove the termination of a larger class of predicates.
+We consider how this analysis interacts with aspects of Mercury such as the
+module system, declarative I/O, higher-order code and the foreign language
+interface.
+<p>
 
 <li>
 <strong>
Index: information/papers/juliensf_hons.ps.gz
===================================================================
RCS file: information/papers/juliensf_hons.ps.gz
diff -N information/papers/juliensf_hons.ps.gz
Binary files /dev/null and juliensf_hons.ps.gz differ
Index: news/newsdb.inc
===================================================================
RCS file: /home/mercury1/repository/w3/news/newsdb.inc,v
retrieving revision 1.73
diff -u -r1.73 newsdb.inc
--- news/newsdb.inc	22 Oct 2002 13:10:36 -0000	1.73
+++ news/newsdb.inc	12 Nov 2002 00:28:27 -0000
@@ -21,6 +21,13 @@
 */
 
 $newsdb = array(
+"12 November 2002" => array("New Paper,",
+
+"We have a new paper available from our 
+<A HREF=\"information/papers.html\">papers page</A> that describes 
+the design and implementation of a new termination analyser for Mercury."
+),
+
 "23 October 2002" => array("New build system",
 
 "The compiler now accepts a `--make' option, which performs most

--------------------------------------------------------------------------
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