Electronic Notes in Theoretical Computer Science, Volume 59

Volume 59, Number 1, 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

• 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
  

Last update Fri May 24 20:52:58 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page