ECOOP 2004 – Object-Oriented Programming 18th European Conference, Oslo, Norway, June 14-18, 2004. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Odersky, Martin (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 3086
• Θέματα: Computer science.; Computer communication systems.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computers and civilization.; Computer Science.; Programming Techniques.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Computer Communication Networks.; Computers and Society.

ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technology. It is a collage of events, including outstanding invited speakers, carefully ref...

Πίνακας περιεχομένων:

• Encapsulation
• Ownership Domains: Separating Aliasing Policy from Mechanism
• Composable Encapsulation Policies
• Program Analysis
• Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability
• Efficiently Verifiable Escape Analysis
• Pointer Analysis in the Presence of Dynamic Class Loading
• Software Engineering
• The Expression Problem Revisited
• Rewritable Reference Attributed Grammars
• Finding and Removing Performance Bottlenecks in Large Systems
• Aspects
• Programming with Crosscutting Effective Views
• AspectJ2EE = AOP + J2EE
• Use Case Level Pointcuts
• Invited Talk 1
• Functional Objects
• Middleware
• Inheritance-Inspired Interface Versioning for CORBA
• A Middleware Framework for the Persistence and Querying of Java Objects
• Sequential Object Monitors
• Increasing Concurrency in Databases Using Program Analysis
• Types
• Semantic Casts: Contracts and Structural Subtyping in a Nominal World
• LOOJ: Weaving LOOM into Java
• Modules with Interfaces for Dynamic Linking and Communication
• Verification
• Early Identification of Incompatibilities in Multi-component Upgrades
• Typestates for Objects
• Object Invariants in Dynamic Contexts
• Invited Talk 2
• Rich Interfaces for Software Modules
• Systems
• Transactional Monitors for Concurrent Objects
• Adaptive Tuning of Reserved Space in an Appel Collector
• Lock Reservation for Java Reconsidered
• Customization of Java Library Classes Using Type Constraints and Profile Information.