Volume 59, Number 1, 2001

BABEL'01: First International Workshop on Multi-Language Infrastructure and Interoperability, Firenze, Italy, 8 September 2001

• 
  Nick Benton, Andrew Kennedy: BABEL 2001 - Preface. 1
• 
  Zhong Shao: Invited Talk: Towards a Principled Multi-Language Infrastructure. 2
• 
  Kathleen Fisher, Riccardo Pucella, John H. Reppy: A framework for interoperability. 3-19
• 
  Leif Kornstaedt: Alice in the Land of Oz - An Interoperability-based Implementation of a Functional Language on Top of a Relational Language. 20-35
• 
  Matthias Blume: No-Longer-Foreign: Teaching an ML compiler to speak C "natively". 36-52
• 
  Don Syme: ILX: Extending the .NET Common IL for Functional Language Interoperability. 53-72
• 
  Tyson Dowd, Fergus Henderson, Peter Ross: Compiling Mercury to the .NET Common Language Runtime. 73-88
• 
  Mark Shields, Simon L. Peyton Jones: Object-Oriented Style Overloading for Haskell. 89-108
• 
  Fermin Reig: Annotations for Portable Intermediate Languages. 109-122
• 
  Jürg Gutknecht: Active Oberon for .NET: An Exercise in Object Model Mapping. 123-141
• 
  Peter Housel, Christian H. Stork, Vivek Haldar, Niall Dalton, Michael Franz: Towards Language-Agnostic Mobile Code. 142-157
• 
  Michel Schinz, Martin Odersky: Tail call elimination on the Java Virtual Machine. 158-171

Volume 59, Number 3, 2001

• 
  Keye Martin: Powerdomains and Zero Finding. 173-184
• 
  Thom W. Frühwirth: As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs. 185-206
• 
  Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky: Linear Embedding for a Quantitative Comparison of Language Expressiveness. 207-237
• 
  David Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Analysis of the Leakage of Confidential Data. 238-251
• 
  Alessandra Di Pierro, Herbert Wiklicky: Preface. 252-253

Volume 59, Number 4, 2001

Second International Workshop on Rule-Based Programming (RULE2001), Firenze, Italy, 4 September 2001

• 
  Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike: A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. 255-270
• 
  Bernd Fischer, Grigore Rosu: Interpreting Abstract Interpretations in Membership Equational Logic. 271-285
• 
  Jean-Louis Giavitto, Olivier Michel: MGS: a Rule-Based Programming Language for Complex Objects and Collections. 286-304
• 
  Berthold Hoffmann, Mark Minas: Transformation of Shaped Nested Graphs and Diagrams. 305-319
• 
  Quang Huy Nguyen: Certifying Term Rewriting Proofs in ELAN. 320-340
• 
  Georg Struth: Knuth-Bendix Completion for Non-Symmetric Transitive Relations. 341-357
• 
  Olivier Danvy, Lasse R. Nielsen: Syntactic Theories in Practice. 358-374
• 
  Eelco Visser: Scoped Dynamic Rewrite Rules. 375-396
• 
  Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari: Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain. 397-411
• 
  Jean-Yves Moyen: System Presentation: An Analyser of Rewriting Systems Complexity. 412-424
• 
  Mark van den Brand, Rakesh M. Verma: RULE2001 - Foreword. 425-426