ask others

Electronic Notes in Theoretical Computer Science, Volume 59

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 59, Number 1, 2001

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

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

Volume 59, Number 3, 2001

- view
- export record
  dblp key:
  - journals/tcs/Martin01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Martin01a
Keye Martin:
Powerdomains and Zero Finding. 173-184
- view
- export record
  dblp key:
  - journals/tcs/Fruhwirth01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Fruhwirth01
Thom W. Frühwirth:
As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs. 185-206
- view
- export record
  dblp key:
  - journals/tcs/BrogiPW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BrogiPW01
Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky:
Linear Embedding for a Quantitative Comparison of Language Expressiveness. 207-237
- view
- export record
  dblp key:
  - journals/tcs/ClarkHM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ClarkHM01
David Clark, Sebastian Hunt, Pasquale Malacaria:
Quantitative Analysis of the Leakage of Confidential Data. 238-251
- view
- export record
  dblp key:
  - journals/tcs/PierroW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PierroW01
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

- view
- export record
  dblp key:
  - journals/tcs/AkamaNK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AkamaNK01
Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. 255-270
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/FischerR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FischerR01
Bernd Fischer, Grigore Rosu:
Interpreting Abstract Interpretations in Membership Equational Logic. 271-285
- view
- export record
  dblp key:
  - journals/tcs/GiavittoM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GiavittoM01
Jean-Louis Giavitto, Olivier Michel:
MGS: a Rule-Based Programming Language for Complex Objects and Collections. 286-304
- view
- export record
  dblp key:
  - journals/tcs/HoffmannM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HoffmannM01
Berthold Hoffmann, Mark Minas:
Transformation of Shaped Nested Graphs and Diagrams. 305-319
- view
- export record
  dblp key:
  - journals/tcs/Nguyen01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Nguyen01a
Quang Huy Nguyen:
Certifying Term Rewriting Proofs in ELAN. 320-340
- view
- export record
  dblp key:
  - journals/tcs/Struth01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Struth01
Georg Struth:
Knuth-Bendix Completion for Non-Symmetric Transitive Relations. 341-357
- view
- export record
  dblp key:
  - journals/tcs/DanvyN01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DanvyN01
Olivier Danvy, Lasse R. Nielsen:
Syntactic Theories in Practice. 358-374
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Visser01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Visser01a
Eelco Visser:
Scoped Dynamic Rewrite Rules. 375-396
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/LammaMMRS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LammaMMRS01
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
- view
- export record
  dblp key:
  - journals/tcs/Moyen01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Moyen01
Jean-Yves Moyen:
System Presentation: An Analyser of Rewriting Systems Complexity. 412-424
- view
- export record
  dblp key:
  - journals/tcs/BrandV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BrandV01
Mark van den Brand, Rakesh M. Verma:
RULE2001 - Foreword. 425-426

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.