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

[The LINGUIST Network]

LINGUIST List:  Vol-12-919. Mon Apr 2 2001. ISSN: 1068-4875.

Subject: 12.919, TOC: Higher-Order & Symbolic Computation Vol. 14

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
	Lydia Grebenyova, EMU		Jody Huellmantel, WSU
	James Yuells, WSU		Michael Appleby, EMU
	Marie Klopfenstein, WSU		Ljuba Veselinova, Stockholm U.

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: Naomi Ogasawara <naomi at linguistlist.org>

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

1)
Date:  Sun, 01 Apr 2001 03:11:27 +0200 (METDST)
From:  kap-listman at wkap.nl
Subject:  Higher-Order & Symbolic Computation Vol. 14, Issue 1, March 2001

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

Date:  Sun, 01 Apr 2001 03:11:27 +0200 (METDST)
From:  kap-listman at wkap.nl
Subject:  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: 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-919