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