LINGUIST List 12.3014

Mon Dec 3 2001

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

Editor for this issue: Richard John Harvey <richardlinguistlist.org>


Directory

  1. kap-listman, TOC: Higher-Order and Symbolic Computation. Vol. 14, Issue 2/3

Message 1: TOC: Higher-Order and Symbolic Computation. Vol. 14, Issue 2/3

Date: Sun, 02 Dec 2001 02:04:08 +0100 (MET)
From: kap-listman <kap-listmanwkap.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: kluwerwkap.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: orderdeptwkap.nl 
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue