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

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

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

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