Higher-Order and Symbolic Computation, Volume 14

Volume 14, Number 1, March 2001

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

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

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