[m-rev.] for review: add CTGC paper to web site

[Peter Ross]

Hi,


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


Estimated hours taken: 0.5

news/newsdb.inc:
information/include/papers.inc:
information/papers/CW310_ctgc.ps.gz:
    Add a new paper describing the compile time garbage collection and
    memory reuse system.

Index: information/include/papers.inc
===================================================================
RCS file: /home/mercury1/repository/w3/information/include/papers.inc,v
retrieving revision 1.21
diff -u -r1.21 papers.inc
--- information/include/papers.inc	2000/10/05 09:26:27	1.21
+++ information/include/papers.inc	2001/05/18 09:39:40
@@ -16,6 +16,45 @@
 <ul>
 <li>
 <strong>
+Practical Aspects for a working Compile Time Garbage Collection System
+for Mercury
+</strong>
+<br>
+Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe
+<br>
+<em>
+Technical Report CW310
+</em>,
+Departement Computerwetenschappen,
+Katholieke Universiteit Leuven, 18 pages.
+<a href = "papers/CW310_ctgc.ps.gz">
+Available here (135K).
+</a>
+<p>
+Compile-time garbage collection is still a very uncommon feature within
+compilers. 
+In previous work we have developed a compile-time structure
+reuse system for Mercury, a logic programming language. 
+This system derives so called reuse information. This information
+indicates which datastructures can safely be reused at run-time. 
+<p>
+As preliminary experiments were promising, we 
+have continued this work and have now a 
+working and well performing near-to-ship
+compile-time garbage collection system built into the Melbourne Mercury
+Compiler. 
+<p>
+In this paper we present the multiple design decisions leading to this
+system, we report the results of using compile time garbage
+collection for a set of benchmarks, including 
+real-world programs, and finally we discuss further
+possible improvements. 
+Benchmarks show substantial memory savings and a noticeable reduction
+in execution time. 
+<p>
+
+<li>
+<strong>
 Binding-time analysis by constraint solving: a modular and
 higher-order approach for Mercury
 </strong>
Index: information/papers/CW310_ctgc.ps.gz
===================================================================
RCS file: CW310_ctgc.ps.gz
diff -N CW310_ctgc.ps.gz
Binary files /dev/null and CW310_ctgc.ps.gz differ
Index: news/newsdb.inc
===================================================================
RCS file: /home/mercury1/repository/w3/news/newsdb.inc,v
retrieving revision 1.56
diff -u -r1.56 newsdb.inc
--- news/newsdb.inc	2001/04/04 16:09:23	1.56
+++ news/newsdb.inc	2001/05/18 09:39:42
@@ -22,6 +22,15 @@
 
 $newsdb = array(
 
+"18 May 2001" => array("New paper",
+
+"We have a new paper available 
+from our <A HREF=\"information/papers.html\">papers page</A>,
+which describes the design and
+implementation of a compile time garbage collection and memory reuse
+system in the Melbourne Mercury compiler."
+),
+
 "04 Apr 2001" => array("Mercury 0.10.1 released",
 
 "Release information is available

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