


Остановите войну!
for scientists:
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

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.