Jørgen Lindskov Knudsen
Proceedings of the 15th European Conference on Object-Oriented Programming
ECOOP, 2001.
@proceedings{ECOOP-2001,
address = "Budapest, Hungary",
editor = "Jørgen Lindskov Knudsen",
isbn = "3-540-42206-4",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Proceedings of the 15th European Conference on Object-Oriented Programming}",
volume = 2072,
year = 2001,
}
Contents (21 items)
- ECOOP-2001-Simonyi
- Language, Objects, and Intentionality (CS), p. 1.
- ECOOP-2001-BoylandNR
- Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only (JB, JN, WR), pp. 2–27.
- ECOOP-2001-BibersteinGP #encapsulation
- Sealing, Encapsulation, and Mutability (MB, JYG, SP), pp. 28–52.
- ECOOP-2001-ClarkeNP
- Simple Ownership Types for Object Containment (DGC, JN, JP), pp. 53–76.
- ECOOP-2001-PolletCC #java #source code #static analysis
- Distinctness and Sharing Domains for Static Analysis of Java Programs (IP, BLC, AC), pp. 77–98.
- ECOOP-2001-WangS #constraints #java #precise #type inference
- Precise Constraint-Based Type Inference for Java (TW, SFS), pp. 99–117.
- ECOOP-2001-HaradaYP #c #named
- CCC: User-Defined Object Structure in C (YH, KY, RP), pp. 118–129.
- ECOOP-2001-DrossopoulouDDG #classification
- Fickle : Dynamic Object Re-classification (SD, FD, MDC, PG), pp. 130–149.
- ECOOP-2001-MeijerPY #dot-net #using
- Scripting .NET Using Mondrian (EM, NP, AvY), pp. 150–164.
- ECOOP-2001-RaynaudT #encoding #performance #testing
- A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests (OR, ET), pp. 165–180.
- ECOOP-2001-HirzelDH #detection #garbage collection #liveness #on the
- On the Usefulness of Liveness for Garbage Collection and Leak Detection (MH, AD, ALH), pp. 181–206.
- ECOOP-2001-BaconR #concurrent
- Concurrent Cycle Collection in Reference Counted Systems (DFB, VTR), pp. 207–235.
- ECOOP-2001-TatsuboriSCI #bytecode #distributed #execution #java #legacy
- A Bytecode Translator for Distributed Execution of “Legacy” Java Software (MT, TS, SC, KI), pp. 236–255.
- ECOOP-2001-CaromelV #component #java #security
- Reflections on MOPs, Components, and Java Security (DC, JV), pp. 256–274.
- ECOOP-2001-StromA
- The Optimistic Readers Transformation (RES, JSA), pp. 275–301.
- ECOOP-2001-Cockburn #people
- People and the Limits of Methodology (AC), p. 302.
- ECOOP-2001-Ernst #morphism #polymorphism #product line
- Family Polymorphism (EE), pp. 303–326.
- ECOOP-2001-KiczalesHHKPG #aspectj #overview
- An Overview of AspectJ (GK, EH, JH, MK, JP, WGG), pp. 327–353.
- ECOOP-2001-AnconaZ #java
- True Modules for Java-like Languages (DA, EZ), pp. 354–380.
- ECOOP-2001-HanhATJ #comparison #integration #object-oriented #performance #testing
- Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies (VLH, KA, YLT, JMJ), pp. 381–401.
- ECOOP-2001-AndaSJ #case study #modelling #quality
- Quality and Understandability of Use Case Models (BA, DIKS, MJ), pp. 402–428.