product iamge

ECOOP 2001 — Object-Oriented Programming: 15th European Conference Budapest, Hungary, June 18–22, 2001 Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001.
The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. The book is organized in topical sections on sharing and encapsulation, type inference and static analysis, language design, implementation techniques, reflection and concurrency, and testing and design.

Author(s): Charles Simonyi (auth.), Jørgen Lindskov Knudsen (eds.)
Series: Lecture Notes in Computer Science 2072
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001

Language: English
Pages: 434
Tags: Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Computer Communication Networks; Business Information Systems

Language, Objects, and Intentionality....Pages 1-1
Capabilities for Sharing....Pages 2-27
Sealing, Encapsulation, and Mutablility....Pages 28-52
Simple Ownership Types for Object Containment....Pages 53-76
Distinctness and Sharing Domains for Static Analysis of Java Programs....Pages 77-98
Precise Constraint-Based Type Inference for Java....Pages 99-117
CCC: User-Defined Object Structure in C....Pages 118-129
Fickle : Dynamic Object Re-classification....Pages 130-149
Scripting .NET Using Mondrian....Pages 150-164
A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests....Pages 165-180
On the Usefulness of Liveness for Garbage Collection and Leak Detection....Pages 181-206
Concurrent Cycle Collection in Reference Counted Systems....Pages 207-235
A Bytecode Translator for Distributed Execution of “Legacy” Java Software....Pages 236-255
Reflections on MOP s, Components, and Java Security....Pages 256-274
The Optimistic Readers Transformation....Pages 275-301
People and the Limits of Methodology....Pages 302-302
Family Polymorphism....Pages 303-326
An Overview of AspectJ....Pages 327-354
True Modules for Java-like Languages....Pages 354-380
Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies....Pages 381-401
Quality and Understandability of Use Case Models....Pages 402-428