LINGUIST List 13.658

Sun Mar 10 2002

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

Editor for this issue: Dina Kapetangianni <dinalinguistlist.org>

Directory

1. kap-listman, 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: kluwerwkap.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: serviceswkap.nl