Electronic Notes in Theoretical Computer Science, Volume 59

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