[m-dev.] for review: add LNCS paper to web site

David Overton dmo at ender.cs.mu.oz.au
Mon Mar 20 17:49:28 AEDT 2000


On Mon, Mar 20, 2000 at 03:44:40PM +1100, Peter Ross wrote:
> Estimated hours taken: 0.5
> 
> Add the LNCS version of the "Making Mercury Programs Tail Recursive" to
> the web site.
> 
> information/include/papers.inc:
> information/papers/tail_data.tar.gz:
> information/papers/tail_lopstr_lncs.ps.gz:
> news/newsdb.inc:
> 
> +Proceedings of the Ninth International Workshop on Logic-based Program
> +Synthesis and Transformation
> +</em>,

This will produce a space between the word `Transformation' and the
comma, which you don't want.  There are several other places in the
file with this formatting problem.  Perhaps you could fix them too.

> +Venice, Italy, September 1999,

Replace the comma at the end of this line with a full stop.

> +This paper has been superceded by the LNCS version of this paper.

s/ of this paper//

> ===================================================================
> RCS file: /home/staff/zs/imp/w3/news/newsdb.inc,v
> retrieving revision 1.44
> diff -u -r1.44 newsdb.inc
> --- news/newsdb.inc	2000/02/22 01:39:45	1.44
> +++ news/newsdb.inc	2000/03/20 04:42:54
> @@ -21,6 +21,14 @@
>  
>  $newsdb = array(
>  
> +"21 Mar 2000" => array("New paper",
> +
> +"A new paper on Mercury is now available from our
> +<A HREF=\"information/papers.html\">papers page</A>.
> +The paper describes two optimizations, implemented in the Mercury
> +compiler, which make predicates tail recursive."
> +),
> +

The extended abstract has already been announced here several months
ago so, instead of saying ``A new paper'' maybe you could say that
this is the full LNCS version of the older paper.



David
-- 
David Overton       Department of Computer Science & Software Engineering
PhD Student         The University of Melbourne, Victoria 3010, Australia
+61 3 8344 9159     http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list