13.658, TOC: Higher-Order & Symbolic Computation,Vol.14 No.4

[LINGUIST List]

LINGUIST List:  Vol-13-658. Sun Mar 10 2002. ISSN: 1068-4875.

Subject: 13.658, TOC: Higher-Order & Symbolic Computation,Vol.14 No.4

Moderators: Anthony Aristar, Wayne State U.<aristar at linguistlist.org>
            Helen Dry, Eastern Michigan U. <hdry at linguistlist.org>
            Andrew Carnie, U. of Arizona <carnie at linguistlist.org>

Reviews (reviews at linguistlist.org):
	Simin Karimi, U. of Arizona
	Terence Langendoen, U. of Arizona

Editors (linguist at linguistlist.org):
	Karen Milligan, WSU 		Naomi Ogasawara, EMU
	James Yuells, EMU		Marie Klopfenstein, WSU
	Michael Appleby, EMU		Heather Taylor-Loring, EMU
	Ljuba Veselinova, Stockholm U.	Richard John Harvey, EMU
	Dina Kapetangianni, EMU		Renee Galvis, WSU
	Karolina Owczarzak, EMU

Software: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
          Gayathri Sriram, E. Michigan U. <gayatri at linguistlist.org>

Home Page:  http://linguistlist.org/

The LINGUIST List is funded by Eastern Michigan University, Wayne
State University, and donations from subscribers and publishers.



Editor for this issue: Dina Kapetangianni <dina at linguistlist.org>
 ==========================================================================
Subscribe to Blackwell's LL+ at http://www.linguistlistplus.com/ and donate 20% of your subscription to LINGUIST! You get 30% off on Blackwells books, and free shipping and postage!


=================================Directory=================================

1)
Date:  Sun, 10 Mar 2002 02:08:02 +0100 (MET)
From:  kap-listman at wkap.nl
Subject:  New Issue: Higher-Order and Symbolic Computation. Vol. 14, Issue 4


-------------------------------- Message 1 -------------------------------

Date:  Sun, 10 Mar 2002 02:08:02 +0100 (MET)
From:  kap-listman at wkap.nl
Subject:  New Issue: Higher-Order and Symbolic Computation. Vol. 14, Issue 4


Higher-Order and Symbolic Computation
formerly: LISP and Symbolic Computation

ISSN 1388-3690

http://www.wkap.nl/issuetoc.htm/1388-3690+14+4+2001

Vol. 14, Issue 4, December 2001.

TITLE: Editorial
AUTHOR(S): Olivier Danvy, Takayasu Ito, Carolyn Talcott
PAGE(S): 307-307

TITLE: A Network Protocol Stack in Standard ML
AUTHOR(S): Edoardo Biagioni, Robert Harper, Peter Lee
KEYWORD(S): Standard ML, computer networks, modules, signatures, types.
PAGE(S): 309-356

TITLE: Tree Rerooting in Distributed Garbage Collection- Implementation
and Performance Evaluation
AUTHOR(S): Luc Moreau
KEYWORD(S): distributed garbage collection, distributed reference counting,
performance evaluation, benchmark.
PAGE(S): 357-386

TITLE: From Syntactic Theories to Interpreters- Automating the
Proof of Unique Decomposition
AUTHOR(S): Yong Xiao, Amr Sabry, Zena M. Ariola
KEYWORD(S): syntactic theories, interpreters, proof automation, regular
tree grammars, finite tree automata.
PAGE(S): 387-409

- ------------------------------------------------------------



Thank you for your interest in Kluwer's books and journals.

NORTH, CENTRAL AND SOUTH AMERICA
Kluwer
Order Department, PO Box 358
Accord Station, Hingham, MA 02018-0358
USA
Telephone TOLL FREE 1-866-269-wkap
Fax (781) 871-6528
E-Mail: kluwer at wkap.com


EUROPE, ASIA, AUSTRALASIA AND AFRICA
Kluwer
PO Box 989
3300 AZ Dordrecht
The Netherlands
Telephone +31 (0)78 6576 000
Fax +31 (0)78 6576 323
E-Mail: services at wkap.nl


---------------------------------------------------------------------------
LINGUIST List: Vol-13-658