OOPSLA 1999
30 papers
- A Distributed Object-Oriented Framework for Dependable Multiparty Interactions
- A Formal Framework for the Java Bytecode Language and Verifier
- A Language for Specifying Recursive Traversals of Object Structures
- A Performance Evaluation of the Mobile Agent Paradigm
- A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts
- A Study of Locking Objects with Bimodal Fields
- Age-Based Garbage Collection
- An Efficient Meta-Lock for Implementing Ubiquitous Synchronization
- Atlas: A Case Study in Building a Web-Based Learning Environment using Aspect-oriented Programming
- Compositional Pointer and Escape Analysis for Java Programs
- Confined Types
- Correspondence Polymorphism for Object-Oriented Languages
- Detecting Defects in Object-Oriented Designs: Using Reading Techniques to Increase Software Quality
- Efficient Multiple and Predicated Dispatching
- Escape Analysis for Java
- Escape Analysis for Object-Oriented Languages: Application to Java
- Featherwieght Java: A Minimal Core Calculus for Java and GJ
- Implementing Jalapeño in Java
- Modular Type-Based Reverse Engineering of Parameterized Types in Java Code
- Mostly-copying Reachability-based Orthogonal Persistence
- Object Views: Language Support for Intelligent Object Caching in Parallel and Distributed Computations
- Practical Experience with an Application Extractor for Java
- Reducing Transfer Delay Using Java Class File Splitting and Prefetching
- Removing Unnecessary Synchronization in Java
- Role Model Designs and Implementations with Aspect-oriented Programming
- Semantic Analysis of Virtual Classes and Tested Classes
- Space and Time-Efficient Memory Layout for Multiple Inheritance
- Subject-Oriented Design: Towards Improved Alignment of Requirements, Design, and Code
- The Generic Graph Component Library
- Zones, Contracts and Absorbing Changes: An Approach to Software Evolution