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

Volume 14, Number 2-3, September 2001

• 
  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

Volume 14, Number 4, December 2001

• 
  Olivier Danvy, Takayasu Ito, Carolyn L. Talcott: Editorial. 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

last updated on Sat May 18 06:27:37 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page