ECOOP 2001 - object-oriented programming : 15th European conference, Budapest, Hungary, June 18-22, 2001 : proceedings

ISSN 0302-9743 8

Language, Objects, and Intentionality / Charles Simonyi (Microsoft Corporation) -- Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only / John Boyland (University of Wisconsin-Milwaukee), James Noble (Victoria University of Wellington), and William Retert (University of Wisconsin-Milwaukee) -- Sealing, Encapsulation, and Mutablility / Marina Biberstein (IBM Research Lab in Haifa), -- Joseph (Yossi) Gil (Technion and IBM), and Sara Porat (IBM Research Lab in Haifa) -- Simple Ownership Types for Object Containment / David G. Clarke (Utrecht University), -- James Noble (Victoria University of Wellington), and John M. Potter (University of New South Wales) -- Distinctness and Sharing Domains for Static Analysis of Java Programs / Isabelle Pollet, Baudouin Le Charlier (University of Namur), and Agostino Cortesi (Ca’ Foscari University) -- Precise Constraint-Based Type Inference for Java / Tiejun Wang and Scott F. Smith (The Johns Hopkins University) -- CCC: User-Defined Object Structure in C / Yasunori Harada (Japan Science and Technology Corporation/NTT), Kenichi Yamazaki (NTT DoCoMo), and Richard Potter (Japan Science and Technology Corporation) -- Fickle : Dynamic Object Re-classification / Sophia Drossopoulou (Imperial College London), Ferruccio Damiani, Mariangiola Dezani-Ciancaglini (University of Torino), and Paola Giannini (University of Piemonte Orientale) -- Scripting .NET Using Mondrian / Erik Meijer (Microsoft), Nigel Perry (Massey University), and Arjan van Yzendoorn (Utrecht University) -- A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests / Olivier Raynaud and Eric Thierry (Lirmm) -- On the Usefulness of Liveness for Garbage Collection and Leak Detection / Martin Hirzel, Amer Diwan (University of Colorado at Boulder), and Antony Hosking (Purdue University) -- Concurrent Cycle Collection in Reference Counted Systems / David F. Bacon and V.T. Rajan (IBM T.J. Watson Research Center) -- A Bytecode Translator for Distributed Execution of "Legacy" Java -- Software / Michiaki Tatsubori, Toshiyuki Sasaki (University of Tsukuba), Shigeru Chiba (University of Tsukuba, and PRESTO, Japan Science and Technology Corporation), and Kozo Itano (University of Tsukuba) -- Reflections on MOPs, Components, and Java Security / Denis Caromel and Julien Vayssiére (University of Nice - CNRS, I3S/INRIA Sophia Antipolis) -- The Optimistic Readers Transformation / Robert Strom and Joshua Auerbach (IBM T.J. Watson Research Center) -- People and the Limits of Methodology / Alistair Cockburn (Humans and Technology) -- Family Polymorphism / Erik Ernst (University of Aalborg) -- An Overview of AspectJ / Gregor Kiczales (University of British Columbia), Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm (Xerox Palo Alto Research Center), and William G. Griswold (University of California at San Diego) -- True Modules for Java-like Languages / Davide Ancona and Elena Zucca (University of Genova) -- Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies / Vu Le Hanh (Irisa), Kamel Akif (France Telecom R&D), Yves Le Traon, and Jean-Marc Jézéquel (Irisa) -- Quality and Understandability of Use Case Models / Bente Anda, Dag Sjøberg, and Magne Jørgensen (University of Oslo) -- Author Index