proposed addition to the web page

Zoltan Somogyi zs at cs.mu.oz.au
Wed Jul 16 13:45:30 AEST 1997


Comments, anyone?

Zoltan.

cvs diff: Diffing .
Index: papers.html
===================================================================
RCS file: /home/mercury1/repository/www/papers.html,v
retrieving revision 1.4
diff -u -r1.4 papers.html
--- papers.html	1997/04/22 01:22:21	1.4
+++ papers.html	1997/07/16 03:41:36
@@ -23,6 +23,39 @@
 
 <li>
 <strong>
+Termination analysis for Mercury.
+</strong>
+<br>
+Chris Speirs, Zoltan Somogyi and Harald Sondergaard.
+<br>
+<em>
+Technical Report 97/9,
+</em>
+Department of Computer Science, University of Melbourne,
+Melbourne, Australia, July 1997, 25 pages.
+<a href = "papers/mu_97_09.ps.gz">
+Available here (98K).
+</a>
+<p>
+
+This paper presents the algorithms of the Mercury termination analyser,
+discusses how real-world aspects of the language
+such as modules, higher-order features, foreign language code,
+and declarative input/output can be handled,
+and evaluates the performance of the analyser
+both on a set of standard test programs and on the Mercury compiler itself.
+<p>
+A shorter version of this paper will be published
+in the Proceedings of the Fourth International Static Analysis Symposium,
+Paris, France, September 1997.
+<p>
+The raw data on which the evaluation is based
+is <a href = "papers/termination_data.tar.gz">available here</a>
+as a 5.2 Mb tar file.
+<p>
+
+<li>
+<strong>
 Status of the Mercury system.
 </strong>
 <br>
@@ -108,7 +141,7 @@
 </a>
 <p>
 
-This describe the structure of the Mercury compiler,
+This paper describes the structure of the Mercury compiler,
 its calling conventions,
 and the algorithms it uses in generating code.
 These algorithms include lazy code generation
@@ -134,8 +167,8 @@
 </a>
 <p>
 
-This paper discusses the merits of using C, and in particular GNU C, as an
-intermediate target language for the compilation of logic programs,
+This paper discusses the merits of using C, and in particular GNU C,
+as an intermediate target language for the compilation of logic programs,
 and describes the approach we have taken in the implementation of Mercury.
 <p>
 
cvs diff: Diffing bench
cvs diff: Diffing developer
cvs diff: Diffing doc
cvs diff: Diffing papers
cvs diff: papers/mu_97_09.ps.gz is a new entry, no comparison available
cvs diff: papers/termination_data.tar.gz is a new entry, no comparison available
cvs diff: Diffing patches
cvs diff: Diffing pics



More information about the developers mailing list