Programming Languages and Systems: 9th European Symposium on Programming, Esop 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings (9th European Symposium

Marc Notes: Includes bibliographical references and index. Table of Contents: Invited Paper.- Functional Nets.- Regular Papers.- Faithful Translations between Polyvariant Flows and Polymorphic Types.- On the Expressiveness of Event Notification in Data-Driven Coordination Languages.- Flow-Directed Closure Conversion for Typed Languages.- Directional Type Checking for Logic Programs: Beyond Discriminative Types.- Formalizing Implementation Strategies for First-Class Continuations.- Correctness of Java Card Method Lookup via Logical Relations.- Compile-Time Debugging of C Programs Working on Trees.- A Calculus for Compiling and Linking Classes.- Abstract Domains for Universal and Existential Properties.- A Type System for Bounded Space and Functional In-Place Update Extended Abstract.- Secure Information Flow as Typed Process Behaviour.- Implementing Groundness Analysis with Definite Boolean Functions.- The Correctness of Type Specialisation.- Type Classes with Functional Dependencies.- Sharing Continuations: Proofnets for Languages with Explicit Control.- A Calculus for Link-Time Compilation.- Improving the Representation of Infinite Trees to Deal with Sets of Trees.- On the Translation of Procedures to Finite Machines.- A Kleene Analysis of Mobile Ambients.- A 3-Part Type Inference Engine.- First-Class Structures for Standard ML.- Constraint-Based Inter-Procedural Analysis of Parallel Programs.- Alias Types.- Polyvariant Flow Analysis with Constrained Types.- On Exceptions Versus Continuations in the Presence of State.- Equational Reasoning for Linking with First-Class Primitive Modules."