12.3014, TOC: Higher-Order and Symbolic Computation, 14;2/3

[LINGUIST List]

LINGUIST List:  Vol-12-3014. Mon Dec 3 2001. ISSN: 1068-4875.

Subject: 12.3014, TOC: Higher-Order and Symbolic Computation, 14;2/3

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
	Jody Huellmantel, WSU		James Yuells, WSU
	Michael Appleby, EMU		Marie Klopfenstein, WSU
	Ljuba Veselinova, Stockholm U.	Heather Taylor-Loring, EMU
	Dina Kapetangianni, EMU		Richard Harvey, EMU
	Karolina Owczarzak, EMU		Renee Galvis, WSU

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: Richard John Harvey <richard 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, 02 Dec 2001 02:04:08 +0100 (MET)
From:  kap-listman at wkap.nl
Subject:  TOC: Higher-Order and Symbolic Computation. Vol. 14, Issue 2/3


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

Date:  Sun, 02 Dec 2001 02:04:08 +0100 (MET)
From:  kap-listman at wkap.nl
Subject:  TOC: Higher-Order and Symbolic Computation. Vol. 14, Issue 2/3


Kluwer ALERT, the free notification service from Kluwer Academic/PLENUM
Publishers and Kluwer Law International

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

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

ISSN 1388-3690

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

Vol. 14, Issue 2/3, September 2001.

TITLE: Editorial
AUTHOR(S): Olivier Danvy, Julia L. Lawall
PAGE(S): 99-100

TITLE: A Hybrid Approach to Online and Offline Partial Evaluation
AUTHOR(S): Eijiro Sumii, Naoki Kobayashi
KEYWORD(S): online partial evaluation, state-based let-insertion, cogen
approach, binding-time analysis.
PAGE(S): 101-142

TITLE: Regular Tree Languages as an Abstract Domain in Program
Specialisation
AUTHOR(S): John P. Gallagher, Julio C. Peralta
KEYWORD(S): program specialisation, partial evaluation, regular tree
languages.
PAGE(S): 143-172

TITLE: The Second Futamura Projection for Type-Directed Partial
Evaluation
AUTHOR(S): Bernd Grobauer, Zhe Yang
KEYWORD(S): partial evaluation, generating extension, typed functional
language, computational effects, self-application, compiler
generation.
PAGE(S): 173-219

TITLE: Type-Based Useless-Variable Elimination
AUTHOR(S): Naoki Kobayashi
KEYWORD(S): control-flow analysis, type-based analysis, type inference,
useless-variable elimination.
PAGE(S): 221-260

TITLE: Calculating Sized Types
AUTHOR(S): Wei-Ngan Chin, Siau-Cheng Khoo
KEYWORD(S): type inference, Presburger formulae, program analysis and
optimization.
PAGE(S): 261-300

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

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

NORTH, CENTRAL AND SOUTH AMERICA
Kluwer Academic Publishers
Order Department, PO Box 358
Accord Station, Hingham, MA 02018-0358
USA
Telephone (781) 871-6600
Fax (781) 681-9045
E-Mail: kluwer at wkap.com


EUROPE, ASIA AND AFRICA
Kluwer Academic Publishers
Distribution Center
PO Box 322
3300 AH Dordrecht
The Netherlands
Telephone 31-78-6392392
Fax 31-78-6546474
E-Mail: orderdept at wkap.nl

---------------------------------------------------------------------------
LINGUIST List: Vol-12-3014