Higher-Order and Symbolic Computation, Volume 15

Volume 15, Number 1, March 2002

• Olivier Danvy, Takayasu Ito, Carolyn L. Talcott:
  Editorial. 5
  
• Akihiko Tozawa, Masami Hagiya:
  Formalization and Analysis of Class Loading in Java. 7-55
  
• Catarina Coquand:
  A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions. 57-90
  
• Hongwei Xi:
  Dependent Types for Program Termination Verification. 91-131
  

Volume 15, Number 2-3, September 2002

• Olivier Danvy, Amr Sabry:
  Editorial. 139-140
  
• Hayo Thielecke:
  Comparing Control Constructs by Double-Barrelled CPS. 141-160
  
• John H. Reppy:
  Optimizing Nested Loops Using Local CPS Conversion. 161-180
  
• Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke:
  Linear Continuation-Passing. 181-208
  
• Steve Zdancewic, Andrew C. Myers:
  Secure Information Flow via Linear Continuations. 209-234
  
• Masahito Hasegawa, Yoshihiko Kakutani:
  Axioms for Recursion in Call-by-Value. 235-264
  

Volume 15, Number 4, December 2002

• Olivier Danvy, Carolyn L. Talcott:
  Editorial. 271
  
• Patricia Johann:
  A Generalization of Short-Cut Fusion and its Correctness Proof. 273-300
  
• Scott F. Smith, Carolyn L. Talcott:
  Specification Diagrams for Actor Systems. 301-348
  
• Peter Henderson:
  Functional Geometry. 349-365
  

Last update Sat May 18 20:45:08 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page