LINGUIST List 12.919

Mon Apr 2 2001

TOC: Higher-Order & Symbolic Computation Vol. 14

Editor for this issue: Naomi Ogasawara <naomilinguistlist.org>

Directory

1. kap-listman, Higher-Order & Symbolic Computation Vol. 14, Issue 1, March 2001

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

ISSN 1388-3690

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

Vol. 14, Issue 1, March 2001.

TITLE: Editorial
AUTHOR(S): Olivier Danvy, Carolyn Talcott
PAGE(S): 5-5

TITLE: A Generic Reification Technique for Object-Oriented Reflective
 Languages
AUTHOR(S): Remi Douence, Mario Sudholt
KEYWORD(S): reflection, OO languages, program transformation, language
 implementation.
PAGE(S): 7-34

TITLE: Functional Differentiation of Computer Programs
AUTHOR(S): Jerzy Karczmarczuk
KEYWORD(S): Haskell, differentiation, arithmetic, lazy semantics.
PAGE(S): 35-57

TITLE: A Per Model of Secure Information Flow in Sequential Programs
AUTHOR(S): Andrei Sabelfeld, David Sands
KEYWORD(S): semantics, security, confidentiality, partial equivalence
 relations, noninterference, powerdomains, probabilistic
 covert channels.
PAGE(S): 59-91

 
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