[m-dev.] for review: add nancy and wims papers

[Peter Ross]

Hi,

For anyone to review.

===================================================================


Estimated hours taken: 1

Add Wim and Nancys papers to the web site.

w3/information/include/papers.inc:
    Describe the papers.

w3/information/papers/bta.ps.gz:
w3/information/papers/liveness.ps.gz:
    The actual papers.

w3/news/newsdb.inc:
    Announce the new papers.


Index: information/include/papers.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/information/include/papers.inc,v
retrieving revision 1.15
diff -u -r1.15 papers.inc
--- information/include/papers.inc	2000/01/17 08:21:53	1.15
+++ information/include/papers.inc	2000/02/21 07:26:10
@@ -14,6 +14,60 @@
 <h2>Papers on Mercury</h2>
 
 <ul>
+<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/liveness.ps.gz">Available here (61K)</a>.
+<p>
+While Mercury allows destructive input/unique output modes which direct
+the compiler to reuse memory, use of these modes is very cumbersome for
+the programmer. Moreover it does not fit the declarative programming
+paradigm where the programmer doesn't have to worry about the details of
+memory management.
+
+The paper briefly reports on some experiments with a prototype analyser
+which aims at detecting memory available for reuse. The prototype is
+based on the live-structure analysis developed by us for logic programs
+extended with declarations.
+
+Yet the major contribution of this paper consists of the development of
+the principles of a module based analysis which are essential for the
+analysis of large Mercury programs with code distributed over many
+modules.
+<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/bta.ps.gz">Available here (76K)</a>.
+<p>
+In this paper, we describe a binding-time analysis (BTA) for a
+statically typed and strongly moded pure logic programming language, in
+casu Mercury.  Binding-time analysis is the key concept in achieving
+off-line program specialisation: the analysis starts from a description
+of the program's input available for specialisation, and propagates this
+information throughout the program, deriving directives for when and how
+to perform specialisation.  Exploiting the possibilities offered by
+Mercury's strong type and mode system, we present a completely automatic
+BTA dealing with partially static binding-times.
+<p>
 
 <li>
 <strong>
Index: information/papers/bta.ps.gz
===================================================================
RCS file: bta.ps.gz
diff -N bta.ps.gz
Binary files /dev/null and bta.ps.gz differ
Index: information/papers/liveness.ps.gz
===================================================================
RCS file: liveness.ps.gz
diff -N liveness.ps.gz
Binary files /dev/null and liveness.ps.gz differ
Index: news/newsdb.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/news/newsdb.inc,v
retrieving revision 1.43
diff -u -r1.43 newsdb.inc
--- news/newsdb.inc	2000/01/26 08:32:12	1.43
+++ news/newsdb.inc	2000/02/21 07:19:48
@@ -21,6 +21,15 @@
 
 $newsdb = array(
 
+"21 Feb 2000" => array("New papers",
+
+"Two new papers on Mercury are now available from our
+<A HREF=\"information/papers.html\">papers page</A>.
+One describes a binding-time analysis,
+while the other describes an analysis for detecting whether a memory
+cell is available for reuse."
+),
+
 "26 Jan 2000" => array("Mercury 0.9.1 released",
 
 "Mercury 0.9.1 fixes a few bugs in Mercury 0.9, including a few problems

----
Peter Ross
PhD Student University of Melbourne
http://www.cs.mu.oz.au/~petdr/
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------