Electronic Notes in Theoretical Computer Science, Volume 59

Volume 59, Number 1, 2001

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

Volume 59, Number 3, 2001

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

Volume 59, Number 4, 2001

• Mark van den Brand, Rakesh M. Verma:
  RULE2001 - Foreword.
  
• Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
  A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation.
  
• Bernd Fischer, Grigore Rosu:
  Interpreting Abstract Interpretations in Membership Equational Logic.
  
• Jean-Louis Giavitto, Olivier Michel:
  MGS: a Rule-Based Programming Language for Complex Objects and Collections.
  
• Berthold Hoffmann, Mark Minas:
  Transformation of Shaped Nested Graphs and Diagrams.
  
• Quang Huy Nguyen:
  Certifying Term Rewriting Proofs in ELAN.
  
• Georg Struth:
  Knuth-Bendix Completion for Non-Symmetric Transitive Relations.
  
• Olivier Danvy, Lasse R. Nielsen:
  Syntactic Theories in Practice.
  
• Eelco Visser:
  Scoped Dynamic Rewrite Rules.
  
• 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.
  
• J.-Y. Moyen:
  System Presentation: An Analyser of Rewriting Systems Complexity.