Higher-Order and Symbolic Computation, Volume 18

Volume 18, Number 1-2, June 2005

Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi:
Editorial. 5-6
Electronic Edition (link) BibTeX
Harry G. Mairson:
Robert Paige (1947-1999). 7-8
Electronic Edition (link) BibTeX
Alan Siegel:
Remembrances of Bob Paige. 9-11
Electronic Edition (link) BibTeX
Martin Davis:
An Appreciation of Bob Paige. 13-13
Electronic Edition (link) BibTeX
Deepak Goyal:
Transformational Derivation of an Improved Alias Analysis Algorithm. 15-49
Electronic Edition (link) BibTeX
Jules Desharnais, Bernhard Möller:
Least Reflexive Points of Relations. 51-77
Electronic Edition (link) BibTeX
Nils Klarlund:
Relativizations for the Logic-Automata Connection. 79-120
Electronic Edition (link) BibTeX
Alberto Pettorossi, Maurizio Proietti, Sophie Renault:
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. 121-210
Electronic Edition (link) BibTeX
Robert Paige:
An NSF Proposal. 211-235
Electronic Edition (link) BibTeX

Matthias Felleisen, Julia L. Lawall, Manuel Serrano, Olin Shivers:
Editorial. 243-244
Electronic Edition (link) BibTeX
Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand:
Selectors Make Set-Based Analysis Too Hard. 245-269
Electronic Edition (link) BibTeX
Danny Dubé, Marc Feeley:
BIT: A Very Compact Scheme System for Microcontrollers. 271-298
Electronic Edition (link) BibTeX
Oscar Waddell, Dipanwita Sarkar, R. Kent Dybvig:
Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct. 299-326
Electronic Edition (link) BibTeX
Martin Gasbichler, Michael Sperber:
Integrating User-Level Threads with Processes in Scsh. 327-354
Electronic Edition (link) BibTeX
Oleg Kiselyov:
Implementing Metcast in Scheme. 355-370
Electronic Edition (link) BibTeX
Mayer Goldberg:
A Variadic Extension of Curry's Fixed-Point Combinator. 371-388
Electronic Edition (link) BibTeX