[m-rev.] for review: add ICLP-paper about CTGC

[Peter Ross]

If the tech report version is substantially different then add a new
version, otherwise just replace.

----- Original Message -----
From: "Nancy Mazur" <Nancy.Mazur at cs.kuleuven.ac.be>
To: <mercury-reviews at cs.mu.OZ.AU>
Sent: Friday, March 29, 2002 9:52 AM
Subject: [m-rev.] for review: add ICLP-paper about CTGC


> Hi,
>
> Is it okay to replace the technical report paper? Or should that be
> a new entry?
>
> Ciao ciao,
> Nancy
>
> ===================================================================
>
>
> Estimated hours taken: 0.1
> Branches: main
>
> Replace the technical report paper about Compile-Time Garbage
> Collection (CTGC) within Mercury, by the ICLP2001 published paper.
>
> include/papers.inc:
> Replace technical report description, by ICLP'2001 paper description.
>
> papers/iclp2001_ctgc.ps.gz:
> (new) Published version of the ICLP2001-CTGC paper.
>
>
> Index: include/papers.inc
> ===================================================================
> RCS file:
/home/mercury1/repository/w3/information/include/papers.inc,v
> retrieving revision 1.28
> diff -u -r1.28 papers.inc
> --- include/papers.inc 20 Feb 2002 04:18:56 -0000 1.28
> +++ include/papers.inc 29 Mar 2002 07:47:18 -0000
> @@ -135,31 +135,35 @@
>  Nancy Mazur, Peter Ross, Gerda Janssens and Maurice Bruynooghe
>  <br>
>  <em>
> -Technical Report CW310
> +Proceedings of ICLP 2001 - Seventeenth International Conference on
> +Logic Programming
>  </em>,
> -Departement Computerwetenschappen,
> -Katholieke Universiteit Leuven, 18 pages.
> -<a href = "papers/CW310_ctgc.ps.gz">
> -Available here (135K).
> +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/iclp2001_ctgc.ps.gz">
> +Available here (84K).
>  </a>
>  <p>
> -Compile-time garbage collection is still a very uncommon feature
within
> +Compile-time garbage collection (CTGC)
> +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
> +This system
>  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>
> +CTGC-system built into the Melbourne Mercury
> +Compiler (MMC).
> +<br>
>  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
> +system, we report the results of using CTGC
> +for a set of benchmarks, including a
> +real-world program, and finally we discuss further
>  possible improvements.
>  Benchmarks show substantial memory savings and a noticeable reduction
>  in execution time.
> Index: papers/iclp2001_ctgc.ps.gz
> ===================================================================
> RCS file: papers/iclp2001_ctgc.ps.gz
> diff -N papers/iclp2001_ctgc.ps.gz
> Binary files /dev/null and iclp2001_ctgc.ps.gz differ
>
> ----------------------------------------------------------------------
----
> 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
> ----------------------------------------------------------------------
----
>

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