Higher-Order and Symbolic Computation, Volume 14

Volume 14, Number 1, March 2001

Olivier Danvy, Carolyn L. Talcott: Editorial. 5 BibTeX
Rémi Douence, Mario Südholt: A Generic Reification Technique for Object-Oriented Reflective Languages. 7-34 BibTeX
Jerzy Karczmarczuk: Functional Differentiation of Computer Programs. 35-57 BibTeX
Andrei Sabelfeld, David Sands: A Per Model of Secure Information Flow in Sequential Programs. 59-91 BibTeX

Olivier Danvy, Julia L. Lawall: Editorial. 99-100 BibTeX
Eijiro Sumii, Naoki Kobayashi: A Hybrid Approach to Online and Offline Partial Evaluation. 101-142 BibTeX
John P. Gallagher, Julio C. Peralta: Regular Tree Languages as an Abstract Domain in Program Specialisation. 143-172 BibTeX
Bernd Grobauer, Zhe Yang: The Second Futamura Projection for Type-Directed Partial Evaluation. 173-219 BibTeX
Naoki Kobayashi: Type-Based Useless-Variable Elimination. 221-260 BibTeX
Wei-Ngan Chin, Siau-Cheng Khoo: Calculating Sized Types. 261-300 BibTeX

Olivier Danvy, Takayasu Ito, Carolyn L. Talcott: Editorial. 307-307 BibTeX
Edoardo Biagioni, Robert Harper, Peter Lee: A Network Protocol Stack in Standard ML. 309-356 BibTeX
Luc Moreau: Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation. 357-386 BibTeX
Yong Xiao, Amr Sabry, Zena M. Ariola: From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition. 387-409 BibTeX