[m-rev.] for review: add table of contents to papers.html
Fergus Henderson
fjh at cs.mu.OZ.AU
Wed Aug 21 03:53:10 AEST 2002
Branches: main
Estimated hours taken: 2
w3/information/include/papers.inc:
Add a table of contents, with links to anchors later in the page.
----------
For this version, I copied all the entries and just cut out the
descriptions. But maybe it would be better to shorten the
entries in the contents more? E.g. abbreviate conference
names ("JICSLP", etc.), delete the locations?
I have attached a copy of the new papers.html that results.
----------
Workspace: /home/ceres/fjh/mercury
Index: w3/information/include/papers.inc
===================================================================
RCS file: /home/mercury1/repository/w3/information/include/papers.inc,v
retrieving revision 1.33
diff -u -d -r1.33 papers.inc
--- w3/information/include/papers.inc 20 Aug 2002 17:45:35 -0000 1.33
+++ w3/information/include/papers.inc 20 Aug 2002 17:45:41 -0000
@@ -1,3 +1,7 @@
+<!--
+WHEN UPDATING THIS FILE, REMEMBER TO UPDATE THE TABLE OF CONTENTS!
+-->
+
<h2>Papers and Presentations</h2>
The Mercury team have written quite a few papers about the Mercury
@@ -11,13 +15,817 @@
href="papers.html#presentations">presentations</a> given on
Mercury, at a variety of levels, are also available.
-<h2>Papers on Mercury</h2>
+<h2>Contents</h2>
+<h3><a href = "papers.html#mercury">Papers on Mercury</a></h3>
+
+<ul>
+
+<li>
+<strong>
+Towards parallel Mercury
+</strong>
+<br>
+Thomas Conway.
+<br>
+<em>
+Ph.D. thesis,
+</em>
+Department of Computer Science and Software Engineering,
+The University of Melbourne,
+July 2002.
+<a href = "papers.html#conway-thesis">
+Available below (562K).
+</a>
+<p>
+
+<li>
+<strong>
+Expressive type systems for logic programming languages
+</strong>
+<br>
+David Jeffery.
+<br>
+<em>
+Ph.D. thesis,
+</em>
+Department of Computer Science and Software Engineering,
+The University of Melbourne,
+February 2002.
+<a href = "#dgj-thesis-final">
+Available below (370K).
+</a>
+<p>
+
+<li>
+<strong>
+Constraint-based mode analysis of Mercury
+</strong>
+<br>
+David Overton, Zoltan Somogyi and Peter Stuckey
+<br>
+<em>
+to appear in the Proceedings of the Fourth International Conference on
+Principles and Practice of Declarative Programming,
+</em>
+Pittsburgh, Pennsylvania, October 2002.
+<a href = "#p33-overton">
+Available below (188K).
+</a>
+<p>
+
+<li>
+<strong>
+Using the heap to eliminate stack accesses
+</strong>
+<br>
+Zoltan Somogyi and Peter Stuckey
+<br>
+<em>
+to appear in the Proceedings of the Fourth International Conference on
+Principles and Practice of Declarative Programming,
+</em>
+Pittsburgh, Pennsylvania, October 2002.
+<a href = "papers.html#p81-somogyi">
+Available below (190K).
+</a>
+<p>
+
+<li>
+<strong>
+Accurate garbage collection in an uncooperative environment
+</strong>
+<br>
+Fergus Henderson
+<br>
+<em>
+Proceedings of the 2002 International Symposium on Memory Management
+</em>
+Berlin, Germany, June 2002, pages 150-156.
+<a href = "papers.html#high_level_gc">
+Available below (83K).
+</a>
+<p>
+
+<li>
+<strong>
+Compiling Mercury to the .NET Common Language Runtime
+</strong>
+<br>
+Tyson Dowd, Fergus Henderson, and Peter Ross
+<br>
+<em>
+BABEL'01 First International Workshop on
+Multi-Language Infrastructure and Interoperability,
+</em>
+Firenze, Italy, September 2001. Preliminary Proceedings pages 70-85.
+To appear in Electronic Notes in Theoretical Computer Science 59.1.
+<a href = "papers.html#mercury_to_clr">
+Available below (93K).
+</a>
+<p>
+
+<li>
+<strong>
+Compiling Mercury to high-level C code
+</strong>
+<br>
+Fergus Henderson and Zoltan Somogyi
+<br>
+<em>
+Proceedings of the 2002 International Conference on Compiler Construction
+</em>
+Grenoble, France, April 2002.
+©
+<a href="http://www.springer.de/comp/lncs/index.html">Springer-Verlag</a>.
+<a href = "papers.html#hlc_cc">Available below (67K)</a>.
+</a>
+<p>
+
+<li>
+<strong>
+Deep profiling:
+engineering a profiler for a declarative programming language
+</strong>
+<br>
+Thomas C. Conway and Zoltan Somogyi
+<br>
+<em>
+Technical Report 2001/24,
+</em>
+Department of Computer Science, University of Melbourne,
+Melbourne, Australia, July 2001, 61 pages.
+<a href = "papers.html#mu_01_24">
+Available below (207K).
+</a>
+<p>
+
+<li>
+<strong>
+Practical aspects for a working compile time garbage collection system
+for Mercury
+</strong>
+<br>
+Nancy Mazur, Peter Ross, Gerda Janssens and Maurice Bruynooghe
+<br>
+<em>
+Proceedings of ICLP 2001 - Seventeenth International Conference on
+Logic Programming
+</em>,
+Paphos, Cyprus, November 2001. Lecture Notes in Computer Science 2237,
+Springer Verlag,
+Pages 105-119
+©
+<a href="http://www.springer.de/comp/lncs/index.html">Springer-Verlag</a>.
+<a href = "papers.html#iclp2001_ctgc">
+Available below (84K).
+</a>
+<p>
+
+<li>
+<strong>
+Binding-time analysis by constraint solving: a modular and
+higher-order approach for Mercury
+</strong>
+<br>
+Wim Vanhoof
+<br>
+<em>
+Proceedings of the Seventh International Conference on Logic for
+Programming and Automated Reasoning
+</em>,
+Reunion Island, France, November 2000.
+Lecture Notes in Computer Science 1955,
+Springer Verlag,
+Pages 399-416
+©
+<a href="http://www.springer.de/comp/lncs/index.html">Springer-Verlag</a>.
+<a href="papers.html#bta_higher_order">Available below (106K)</a>.
+<p>
+
+<li>
+<strong>
+A module based analysis for memory reuse in Mercury
+</strong>
+<br>
+Nancy Mazur, Gerda Janssens and Maurice Bruynooghe
+<br>
+<em>
+Proceedings of the First International Conference on Computational Logic
+</em>,
+London, United Kingdom, July 2000.
+Lecture Notes in Artificial Intelligence,
+Springer Verlag,
+Pages 1255-1269
+©
+<a href="http://www.springer.de/comp/lncs/index.html">Springer-Verlag</a>.
+<a href="papers.html#memory_reuse_analysis">Available below (93K)</a>.
+<p>
+
+<li>
+<strong>
+Making Mercury programs tail recursive
+</strong>
+<br>
+Peter Ross, David Overton and Zoltan Somogyi
+<br>
+<em>
+Proceedings of the Ninth International Workshop on Logic-based Program
+Synthesis and Transformation</em>,
+Venice, Italy, September 1999.
+To appear in Lecture Notes in Computer Science,
+Springer Verlag,
+©
+<a href="http://www.springer.de/comp/lncs/index.html">Springer-Verlag</a>.
+<a href="papers.html#tail_lopstr_lncs">Available below (84K)</a>.
+<p>
+
+<li>
+<strong>
+State update transformation
+</strong>
+<br>
+Peter Ross and Zoltan Somogyi
+<br>
+<em>
+</em>
+<a href="papers.html#update">Available below (57K)</a>.
+<p>
+
+<li>
+<strong>
+Using impurity to create declarative interfaces in Mercury
+</strong>
+<br>
+Tyson Dowd, Peter Schachte, Fergus Henderson and Zoltan Somogyi
+<br>
+<em>
+</em>
+<a href="papers.html#purity">Available below (52K)</a>.
+<p>
+
+<li>
+<strong>
+Towards memory reuse for Mercury
+</strong>
+<br>
+Nancy Mazur, Gerda Janssens and Maurice Bruynooghe
+<br>
+<em>
+Proceedings of the International Workshop on Implementation of
+Declarative Languages
+</em>,
+Paris, France, October 1999
+<a href="papers.html#liveness">Available below (61K)</a>.
+<p>
+
+<li>
+<strong>
+Binding-time analysis for Mercury
+</strong>
+<br>
+Wim Vanhoof and Maurice Bruynooghe
+<br>
+<em>
+Proceedings of the Sixteenth International Conference on Logic Programming
+</em>,
+Las Cruces, New Mexico, November 1999, pages 500-514
+<a href="papers.html#bta">Available below (76K)</a>.
+<p>
+
+<li>
+<strong>
+The implementation technology of the Mercury debugger
+</strong>
+<br>
+Zoltan Somogyi and Fergus Henderson.
+<br>
+<em>
+Proceedings of the Tenth Workshop on Logic Programming Environments
+</em>,
+Las Cruces, New Mexico, November 1999, pages 35-49.
+<a href="papers.html#debugger_wlpe99">Available below (66K)</a>.
+<p>
+
+<li>
+<strong>
+Making Mercury programs tail recursive (extended abstract)
+</strong>
+<br>
+Peter Ross, David Overton and Zoltan Somogyi.
+<br>
+<em>
+Pre-Proceedings of the Ninth International Workshop on Logic-based Program
+Synthesis and Transformation
+</em>,
+Venice, Italy, September 1999, pages 107-118.
+<a href="papers.html#tail_lopstr">Available below (62K)</a>.
+<p>
+
+<li>
+<strong>
+Run time type information in Mercury
+</strong>
+<br>
+Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway and David Jeffery.
+<br>
+<em>
+Proceedings of the International Conference
+on the Principles and Practice of Declarative Programming
+</em>,
+Paris, France, September/October 1999,
+Lecture Notes in Computer Science 1702,
+Springer Verlag,
+Pages 224-243,
+©
+<a href="http://www.springer.de/comp/lncs/index.html">Springer-Verlag</a>.
+<a href="papers.html#rtti_ppdp">Available below (75K)</a>.
+<p>
+
+<li>
+<strong>
+Optimization of Mercury programs
+</strong>
+<br>
+Simon Taylor.
+<br>
+<em>
+Honours report.
+</em>
+Department of Computer Science, University of Melbourne, November 1998.
+<a href = "papers.html#stayl_hons">
+Available below (120K).
+</a>
+<p>
+
+<li>
+<strong>
+MCORBA: A CORBA Binding for Mercury
+</strong>
+<br>
+David Jeffery, Tyson Dowd and Zoltan Somogyi.
+<br>
+In <em>
+Proceedings of the First International Workshop
+on Practical Aspects of Declarative Languages
+</em>,
+San Antonio, Texas,
+January 1999,
+Lecture Notes in Computer Science 1551,
+Springer Verlag,
+Pages 211-227,
+©
+<a href="http://www.springer.de/comp/lncs/index.html">Springer-Verlag</a>.
+<a href="papers.html#mcorba_padl99">Available below (65K)</a>.
+<p>
+
+<li>
+<strong>
+Type classes in Mercury
+</strong>
+<br>
+David Jeffery, Fergus Henderson and Zoltan Somogyi.
+<br>
+<em>
+Technical Report 98/13,
+</em>
+Department of Computer Science, University of Melbourne,
+Melbourne, Australia, September 1998, 22 pages.
+<a href = "papers.html#mu_98_13">
+Available below (82K).
+</a>
+<p>
+
+<li>
+<strong>
+Termination analysis for Mercury
+</strong>
+<br>
+Chris Speirs, Zoltan Somogyi and Harald Sondergaard.
+<br>
+<em>
+Proceedings of the Fourth Static Analysis Symposium
+</em>,
+Paris, France, September 1997, pages 157-171.
+<a href = "papers.html#sas97">available below (75K)</a>.
+<p>
+
+<li>
+<strong>
+Status of the Mercury system
+</strong>
+<br>
+Zoltan Somogyi, Fergus Henderson, Thomas Conway, Andrew Bromage,
+Tyson Dowd, David Jeffery, Peter Ross, Peter Schachte and Simon Taylor.
+<br>
+<em>
+Proceedings of the JICSLP '96 Workshop on Parallelism and
+Implementation Technology for (Constraint) Logic Programming Languages,
+</em>
+Bonn, Germany, September 1996, pages 207-218.
+<a href = "papers.html#jicslpw">Available below (46K)</a>.
+<p>
+
+<li>
+<strong>
+The execution algorithm of Mercury:
+an efficient purely declarative logic programming language
+</strong>
+<br>
+Zoltan Somogyi, Fergus Henderson and Thomas Conway.
+<br>
+<em>
+Journal of Logic Programming,
+</em>
+volume 29, number 1-3, October-December 1996, pages 17-64.
+<a href = "papers.html#jlp">Available below (138K)</a>.
+<br>
+Elsevier owns the copyright of this paper;
+it is made available here by their permission.
+<p>
+
+<li>
+<strong>
+Determinism analysis in the Mercury compiler
+</strong>
+<br>
+Fergus Henderson, Zoltan Somogyi and Thomas Conway.
+<br>
+<em>
+Proceedings of the Australian Computer Science Conference,
+</em>
+Melbourne, Australia, January 1996, pages 337-346.
+<a href = "papers.html#acsc96">Available below (78K)</a>.
+<p>
+
+<li>
+<strong>
+Code generation for Mercury
+</strong>
+<br>
+Thomas Conway, Fergus Henderson, and Zoltan Somogyi.
+<br>
+<em>
+Proceedings of the 1995 International Symposium on Logic Programming,
+</em>
+Portland, Oregon, December 1995, pages 242-256.
+<a href = "papers.html#code_gen_mit">Available below (68K)</a>.
+<p>
+
+<li>
+<strong>
+Compiling logic programs to C
+using GNU C as a portable assembler
+</strong>
+<br>
+Fergus Henderson, Zoltan Somogyi and Thomas Conway.
+<br>
+<em>
+Proceedings of the ILPS '95 Postconference Workshop on
+Sequential Implementation Technologies for Logic Programming Languages.
+</em>
+Portland, Oregon, December 1995.
+<a href = "papers.html#mercury_to_c">Available below (65K)</a>.
+<p>
+
+<li>
+<strong>
+Mercury: an efficient purely declarative logic programming language
+</strong>
+<br>
+Zoltan Somogyi, Fergus Henderson and Thomas Conway.
+<br>
+<em>
+Proceedings of the Australian Computer Science Conference,
+</em>
+Glenelg, Australia, February 1995, pages 499-512.
+<a href = "papers.html#acsc95">Available below (85K)</a>.
+<p>
+
+<li>
+<strong>
+The implementation of Mercury:
+an efficient purely declarative logic programming language
+</strong>
+<br>
+Zoltan Somogyi, Fergus Henderson and Thomas Conway.
+<br>
+<em>
+Proceedings of the ILPS '94 Postconference Workshop on
+Implementation Techniques for Logic Programming Languages,
+</em>
+Syracuse, New York, November 1994.
+<a href = "papers.html#ilps94w">Available below (96K)</a>.
+<p>
+
+<li>
+<strong>
+Code generation for Mercury
+</strong>
+<br>
+Thomas Conway.
+<br>
+<em>
+Honours report.
+</em>
+Department of Computer Science, University of Melbourne, November 1994.
+<a href = "papers.html#conway_hons">Available below (188K)</a>.
+<p>
+
+</ul>
+
+<h3><a href = "papers.html#related">Related papers</a></h3>
+
+<ul>
+<li>
+<strong>
+Termination analysis for logic programs
+</strong>
+<br>
+Chris Speirs.
+<br>
+<em>
+Technical Report 97/23,
+</em>
+Department of Computer Science, University of Melbourne, October 1997.
+<a href = "papers.html#mu_97_23">
+Available below (67K).
+</a>
+<p>
+
+<li>
+<strong>
+Logic programming for the real world
+</strong>
+<br>
+Zoltan Somogyi, Fergus Henderson, Thomas Conway and Richard O'Keefe.
+<br>
+<em>
+Proceedings of the ILPS '95 Postconference Workshop on
+Visions for the Future of Logic Programming,
+</em>
+Portland, Oregon, December 1995.
+<a href = "papers.html#vision">
+Available below (59K).
+</a>
+<p>
+
+<li>
+<strong>
+A system of precise modes for logic programs
+</strong>
+<br>
+Zoltan Somogyi.
+<br>
+<em>
+Proceedings of the Fourth International Conference on Logic Programming,
+</em>
+Melbourne, Australia, May 1987, pages 769-787.
+<a href = "papers.html#iclp87">
+Available below (40K).
+</a>
+<p>
+
+<li>
+<strong>
+Strong modes can change the world!
+</strong>
+<br>
+Fergus Henderson.
+<br>
+<em>
+Honours Report.
+</em>
+Department of Computer Science, University of Melbourne, November 1992.
+<a href = "papers.html#fjh_hons_thesis">
+Available below (114K).
+</a>
+<p>
+
+<li>
+<strong>
+Database transactions in a purely declarative logic programming language
+</strong>
+<br>
+David B. Kemp, Thomas Conway, Evan Harris, Fergus Henderson,
+Kotagiri Ramamohanarao and Zoltan Somogyi.
+<br>
+<em>
+Technical Report 96/45
+</em>
+Department of Computer Science, University of Melbourne, December 1996.
+<a href = "papers.html#mu_96_45">
+Available below (58K)
+</a>
+
+</ul>
+
+<!---------- The Aditi interface is not useful yet
+--------------------------------------------------
+
+<li>
+<strong>
+Right-, left-, and multi-linear rule transformations that maintain
+context information
+</strong>
+<br>
+David B. Kemp and Kotagiri Ramamohanarao and Zoltan Somogyi.
+<br>
+<em>
+Technical Report 90/2
+</em>
+Department of Computer Science, University of Melbourne, October 1997.
+<a href = "papers.html#tr90-2">
+Available below (48K).
+</a>
+
+--------------------------------------------------
+-------------------------------------------------->
+
+<h3><a href = "papers.html#presentations">Presentations</a></h3>
+<ul>
+
+<li>
+<strong>
+<a name="sas_talk">
+Termination analysis for Mercury
+</a>
+</strong>
+<br>
+Chris Speirs, Zoltan Somogyi and Harald Sondergaard.
+<br>
+<em>
+Talk presented at the Fourth Static Analysis Symposium.
+</em>
+Paris, France, September 1997.
+<a href = "papers.html#sas_talk">
+Available below (6K).
+</a>
+<p>
+
+<li>
+<strong>
+<a name="unif">
+Unification in Mercury
+</a>
+</strong>
+<br>
+Zoltan Somogyi.
+<br>
+<em>
+Invited talk presented at the Eighth Benelux Workshop on Logic Programming.
+</em>
+Louvain-la-Neuve, Belgium, September 1996.
+<a href = "papers.html#unif">
+Available below (12K).
+</a>
+<p>
+
+<li>
+<strong>
+<a name="jicslp_talk">
+The design and implementation of Mercury
+</a>
+</strong>
+<br>
+Zoltan Somogyi and Fergus Henderson.
+<br>
+<em>
+Tutorial presented at the Joint International
+Conference and Symposium on Logic Programming.
+</em>
+Bonn, Germany, September 1996.
+<a href = "papers.html#jicslp_talk">
+Available below (18K).
+</a>
+<p>
+
+<li>
+<strong>
+<a name="jicslpw_talk">
+Status of the Mercury system
+</a>
+</strong>
+<br>
+Zoltan Somogyi, Fergus Henderson, Thomas Conway, Andrew Bromage,
+Tyson Dowd, David Jeffery, Peter Ross, Peter Schachte and Simon Taylor.
+<br>
+<em>
+Presented at the JICSLP '96 Workshop on Parallelism and
+Implementation Technology for (Constraint) Logic Programming Languages,
+</em>
+Bonn, Germany, September 1996.
+<a href = "papers.html#jicslpw_talk">
+Available below (5K).
+</a>
+<p>
+
+<li>
+<strong>
+<a name="acsc95_slides">
+Mercury:
+an efficient purely declarative logic programming language
+</a>
+</strong>
+<br>
+Zoltan Somogyi, Fergus Henderson and Thomas Conway.
+<br>
+<em>
+Presented at the Eighteenth Australasian Computer Science Conference,
+</em>
+Adelaide, South Australia, February 1995.
+<a href = "papers.html#acsc95_slides">
+Available below (33K).
+</a>
+<p>
+
+<li>
+<strong>
+<a name="257_1999">
+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)
+</a>
+</strong>
+<br>
+Zoltan Somogyi.
+<br>
+<a href = "papers.html#257_1999">
+Available below (40K).
+</a>
+<p>
+
+<li>
+<strong>
+<a name="257">
+Lecture notes for the Mercury segment of the subject
+433-257 Frontiers of Computer Science, given in 1997
+</a>
+</strong>
+<br>
+Zoltan Somogyi.
+<br>
+<a href = "papers.html#257">
+Available below (21K).
+</a>
+<p>
+
+<li>
+<strong>
+<a name="247">
+Lecture notes for the Mercury segment of the subject
+433-247 Frontiers of Computer Science, given in 1995
+</a>
+</strong>
+<br>
+Zoltan Somogyi.
+<br>
+<a href = "papers.html#247">
+Available below (21K).
+</a>
+<p>
+
+<li>
+<strong>
+<a name="dgj-talk">
+Type classes for logic programming languages, given in March 1998
+</a>
+</strong>
+<br>
+David Jeffery.
+<br>
+<a href = "papers.html#dgj-talk">
+Available below (30K).
+</a>
+<p>
+
+<li>
+<strong>
+<a name="rtti_talk_98">
+Runtime type information in Mercury, given in March 1998
+</a>
+</strong>
+<br>
+Tyson Dowd.
+<br>
+<a href = "papers.html#rtti_talk_98">
+Available below (48K).
+</a>
+<p>
+
+</ul>
+
+
+<hr>
+
+<h2><a name="mercury">Papers on Mercury</a></h2>
<ul>
<li>
<strong>
+<a name="conway-thesis">
Towards parallel Mercury
+</a>
</strong>
<br>
Thomas Conway.
@@ -80,7 +888,9 @@
<li>
<strong>
+<a name="dgj-thesis-final">
Expressive type systems for logic programming languages
+</a>
</strong>
<br>
David Jeffery.
@@ -148,7 +958,9 @@
<li>
<strong>
+<a name="p33-overton">
Constraint-based mode analysis of Mercury
+</a>
</strong>
<br>
David Overton, Zoltan Somogyi and Peter Stuckey
@@ -184,7 +996,9 @@
<li>
<strong>
+<a name="p81-somogyi">
Using the heap to eliminate stack accesses
+</a>
</strong>
<br>
Zoltan Somogyi and Peter Stuckey
@@ -219,7 +1033,9 @@
<li>
<strong>
+<a name="high_level_gc">
Accurate garbage collection in an uncooperative environment
+</a>
</strong>
<br>
Fergus Henderson
@@ -246,7 +1062,9 @@
<li>
<strong>
+<a name="mercury_to_clr">
Compiling Mercury to the .NET Common Language Runtime
+</a>
</strong>
<br>
Tyson Dowd, Fergus Henderson, and Peter Ross
@@ -275,7 +1093,9 @@
<li>
<strong>
+<a name="hlc_cc">
Compiling Mercury to high-level C code
+</a>
</strong>
<br>
Fergus Henderson and Zoltan Somogyi
@@ -316,8 +1136,10 @@
<li>
<strong>
+<a name="mu_01_24">
Deep profiling:
engineering a profiler for a declarative programming language
+</a>
</strong>
<br>
Thomas C. Conway and Zoltan Somogyi
@@ -357,8 +1179,10 @@
<li>
<strong>
+<a name="iclp2001_ctgc">
Practical aspects for a working compile time garbage collection system
for Mercury
+</a>
</strong>
<br>
Nancy Mazur, Peter Ross, Gerda Janssens and Maurice Bruynooghe
@@ -400,8 +1224,10 @@
<li>
<strong>
+<a name="bta_higher_order">
Binding-time analysis by constraint solving: a modular and
higher-order approach for Mercury
+</a>
</strong>
<br>
Wim Vanhoof
@@ -428,7 +1254,9 @@
<li>
<strong>
+<a name="memory_reuse_analysis">
A module based analysis for memory reuse in Mercury
+</a>
</strong>
<br>
Nancy Mazur, Gerda Janssens and Maurice Bruynooghe
@@ -456,7 +1284,9 @@
<li>
<strong>
+<a name="tail_lopstr_lncs">
Making Mercury programs tail recursive
+</a>
</strong>
<br>
Peter Ross, David Overton and Zoltan Somogyi
@@ -489,7 +1319,9 @@
<li>
<strong>
+<a name="update">
State update transformation
+</a>
</strong>
<br>
Peter Ross and Zoltan Somogyi
@@ -508,7 +1340,9 @@
<li>
<strong>
+<a name="purity">
Using impurity to create declarative interfaces in Mercury
+</a>
</strong>
<br>
Tyson Dowd, Peter Schachte, Fergus Henderson and Zoltan Somogyi
@@ -540,7 +1374,9 @@
<li>
<strong>
+<a name="liveness">
Towards memory reuse for Mercury
+</a>
</strong>
<br>
Nancy Mazur, Gerda Janssens and Maurice Bruynooghe
@@ -570,7 +1406,9 @@
<li>
<strong>
+<a name="bta">
Binding-time analysis for Mercury
+</a>
</strong>
<br>
Wim Vanhoof and Maurice Bruynooghe
@@ -594,7 +1432,9 @@
<li>
<strong>
+<a name="debugger_wlpe99">
The implementation technology of the Mercury debugger
+</a>
</strong>
<br>
Zoltan Somogyi and Fergus Henderson.
@@ -622,7 +1462,9 @@
<li>
<strong>
+<a name="tail_lopstr">
Making Mercury programs tail recursive (extended abstract)
+</a>
</strong>
<br>
Peter Ross, David Overton and Zoltan Somogyi.
@@ -640,7 +1482,9 @@
<li>
<strong>
+<a name="rtti_ppdp">
Run time type information in Mercury
+</a>
</strong>
<br>
Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway and David Jeffery.
@@ -682,7 +1526,9 @@
<li>
<strong>
+<a name="stayl_hons">
Optimization of Mercury programs
+</a>
</strong>
<br>
Simon Taylor.
@@ -703,7 +1549,9 @@
<li>
<strong>
+<a name="mcorba_padl99">
MCORBA: A CORBA Binding for Mercury
+</a>
</strong>
<br>
David Jeffery, Tyson Dowd and Zoltan Somogyi.
@@ -744,7 +1592,9 @@
<li>
<strong>
+<a name="mu_98_13">
Type classes in Mercury
+</a>
</strong>
<br>
David Jeffery, Fergus Henderson and Zoltan Somogyi.
@@ -771,7 +1621,9 @@
<li>
<strong>
+<a name="sas97">
Termination analysis for Mercury
+</a>
</strong>
<br>
Chris Speirs, Zoltan Somogyi and Harald Sondergaard.
@@ -801,7 +1653,9 @@
<li>
<strong>
+<a name="jicslpw">
Status of the Mercury system
+</a>
</strong>
<br>
Zoltan Somogyi, Fergus Henderson, Thomas Conway, Andrew Bromage,
@@ -817,8 +1671,10 @@
<li>
<strong>
+<a name="jlp">
The execution algorithm of Mercury:
an efficient purely declarative logic programming language
+</a>
</strong>
<br>
Zoltan Somogyi, Fergus Henderson and Thomas Conway.
@@ -846,7 +1702,9 @@
<li>
<strong>
+<a name="acsc96">
Determinism analysis in the Mercury compiler
+</a>
</strong>
<br>
Fergus Henderson, Zoltan Somogyi and Thomas Conway.
@@ -867,7 +1725,9 @@
<li>
<strong>
+<a name="code_gen_mit">
Code generation for Mercury
+</a>
</strong>
<br>
Thomas Conway, Fergus Henderson, and Zoltan Somogyi.
@@ -888,8 +1748,10 @@
<li>
<strong>
+<a name="mercury_to_c">
Compiling logic programs to C
using GNU C as a portable assembler
+</a>
</strong>
<br>
Fergus Henderson, Zoltan Somogyi and Thomas Conway.
@@ -909,7 +1771,9 @@
<li>
<strong>
+<a name="acsc95">
Mercury: an efficient purely declarative logic programming language
+</a>
</strong>
<br>
Zoltan Somogyi, Fergus Henderson and Thomas Conway.
@@ -926,8 +1790,10 @@
<li>
<strong>
+<a name="ilps94w">
The implementation of Mercury:
an efficient purely declarative logic programming language
+</a>
</strong>
<br>
Zoltan Somogyi, Fergus Henderson and Thomas Conway.
@@ -946,7 +1812,9 @@
<li>
<strong>
+<a name="conway_hons">
Code generation for Mercury
+</a>
</strong>
<br>
Thomas Conway.
@@ -969,10 +1837,12 @@
<h2><a name="related">Related Papers</a></h2>
+<a name="mu_97_23">
This paper gives an introduction to automatic termination analysis.
It surveys termination analysis of logic programs and provides an
overview of the important concepts involved in automatic termination
-analysis.
+analysis.
+</a>
<p>
<ul>
@@ -994,8 +1864,10 @@
</ul>
<p>
+<a name="vision">
This paper outlines the features that we believe to be important
in a modern logic programming language:
+</a>
<p>
<ul>
@@ -1018,8 +1890,10 @@
</ul>
+<a name="iclp87">
The mode system and the uniqueness system of Mercury
are based on the following papers:
+</a>
<p>
<ul>
@@ -1042,7 +1916,9 @@
<li>
<strong>
+<a name="fjh_hons_thesis">
Strong modes can change the world!
+</a>
</strong>
<br>
Fergus Henderson.
@@ -1058,9 +1934,11 @@
</ul>
+<a name="mu_96_45">
The following paper describes the method used to express database
transactions and updates that is used in the Mercury ODBC database
interface.
+</a>
<!---------- The Aditi interface is not useful yet
--------------------------------------------------
The same kind of approach is also used in
@@ -1098,9 +1976,11 @@
<!---------- The Aditi interface is not useful yet
--------------------------------------------------
+<a name="tr90-2">
The following paper is also relevant to the Aditi interface mentioned above.
It describes a source-to-source transformation implemented in the
Mercury compiler.
+</a>
<li>
<strong>
@@ -1139,7 +2019,9 @@
<li>
<strong>
+<a name="sas_talk">
Termination analysis for Mercury
+</a>
</strong>
<br>
Chris Speirs, Zoltan Somogyi and Harald Sondergaard.
@@ -1155,7 +2037,9 @@
<li>
<strong>
+<a name="unif">
Unification in Mercury
+</a>
</strong>
<br>
Zoltan Somogyi.
@@ -1171,7 +2055,9 @@
<li>
<strong>
+<a name="jicslp_talk">
The design and implementation of Mercury
+</a>
</strong>
<br>
Zoltan Somogyi and Fergus Henderson.
@@ -1188,7 +2074,9 @@
<li>
<strong>
+<a name="jicslpw_talk">
Status of the Mercury system
+</a>
</strong>
<br>
Zoltan Somogyi, Fergus Henderson, Thomas Conway, Andrew Bromage,
@@ -1206,8 +2094,10 @@
<li>
<strong>
+<a name="acsc95_slides">
Mercury:
an efficient purely declarative logic programming language
+</a>
</strong>
<br>
Zoltan Somogyi, Fergus Henderson and Thomas Conway.
@@ -1223,9 +2113,11 @@
<li>
<strong>
+<a name="257_1999">
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)
+</a>
</strong>
<br>
Zoltan Somogyi.
@@ -1237,8 +2129,10 @@
<li>
<strong>
+<a name="257">
Lecture notes for the Mercury segment of the subject
433-257 Frontiers of Computer Science, given in 1997
+</a>
</strong>
<br>
Zoltan Somogyi.
@@ -1250,8 +2144,10 @@
<li>
<strong>
+<a name="247">
Lecture notes for the Mercury segment of the subject
433-247 Frontiers of Computer Science, given in 1995
+</a>
</strong>
<br>
Zoltan Somogyi.
@@ -1263,7 +2159,9 @@
<li>
<strong>
+<a name="dgj-talk">
Type classes for logic programming languages, given in March 1998
+</a>
</strong>
<br>
David Jeffery.
@@ -1275,7 +2173,9 @@
<li>
<strong>
+<a name="rtti_talk_98">
Runtime type information in Mercury, given in March 1998
+</a>
</strong>
<br>
Tyson Dowd.
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
The University of Melbourne | of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20020821/ffc154d3/attachment.html>
More information about the reviews
mailing list