kirancodes.me
To Proof Maintenance & Beyond!
Venues / OOPSLA /

OOPSLA 1999

30 papers

  1. A Distributed Object-Oriented Framework for Dependable Multiparty Interactions · Avelino F. Zorzo, Robert J. Stroud
  2. A Formal Framework for the Java Bytecode Language and Verifier · Stephen N. Freund, John C. Mitchell
  3. A Language for Specifying Recursive Traversals of Object Structures · Johan Ovlinger, Mitchell Wand
  4. A Performance Evaluation of the Mobile Agent Paradigm · Leila Ismail, Daniel Hagimont
  5. A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts · Robert B. France
  6. A Study of Locking Objects with Bimodal Fields · Tamiya Onodera, Kiyokuni Kawachiya
  7. Age-Based Garbage Collection · Darko Stefanovic, Kathryn S. McKinley, J. Eliot B. Moss
  8. An Efficient Meta-Lock for Implementing Ubiquitous Synchronization · Ole Agesen, David Detlefs, Alex Garthwaite, Ross C. Knippel, Y. S. Ramakrishna, Derek White
  9. Atlas: A Case Study in Building a Web-Based Learning Environment using Aspect-oriented Programming · Mik Kersten, Gail C. Murphy
  10. Compositional Pointer and Escape Analysis for Java Programs · John Whaley, Martin C. Rinard
  11. Confined Types · Jan Vitek, Boris Bokowski
  12. Correspondence Polymorphism for Object-Oriented Languages · Ran Rinat, Menachem Magidor, Scott F. Smith
  13. Detecting Defects in Object-Oriented Designs: Using Reading Techniques to Increase Software Quality · Guilherme Travassos, Forrest Shull, Michael Fredericks, Victor R. Basili
  14. Efficient Multiple and Predicated Dispatching · Craig Chambers, Weimin Chen
  15. Escape Analysis for Java · Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar, Samuel P. Midkiff
  16. Escape Analysis for Object-Oriented Languages: Application to Java · Bruno Blanchet
  17. Featherwieght Java: A Minimal Core Calculus for Java and GJ · Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
  18. Implementing Jalapeño in Java · Bowen Alpern, C. Richard Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber + 4 more
  19. Modular Type-Based Reverse Engineering of Parameterized Types in Java Code · Dominic Duggan
  20. Mostly-copying Reachability-based Orthogonal Persistence · Antony L. Hosking, Jiawan Chen
  21. Object Views: Language Support for Intelligent Object Caching in Parallel and Distributed Computations · Ilya Lipkind, Igor Pechtchanski, Vijay Karamcheti
  22. Practical Experience with an Application Extractor for Java · Frank Tip, Chris Laffra, Peter F. Sweeney, David Streeter
  23. Reducing Transfer Delay Using Java Class File Splitting and Prefetching · Chandra Krintz, Brad Calder, Urs Hölzle
  24. Removing Unnecessary Synchronization in Java · Jeff Bogda, Urs Hölzle
  25. Role Model Designs and Implementations with Aspect-oriented Programming · Elizabeth A. Kendall
  26. Semantic Analysis of Virtual Classes and Tested Classes · Ole Lehrmann Madsen
  27. Space and Time-Efficient Memory Layout for Multiple Inheritance · Peter F. Sweeney, Joseph Gil
  28. Subject-Oriented Design: Towards Improved Alignment of Requirements, Design, and Code · Siobhán Clarke, William H. Harrison, Harold Ossher, Peri L. Tarr
  29. The Generic Graph Component Library · Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine
  30. Zones, Contracts and Absorbing Changes: An Approach to Software Evolution · James Huw Evans, Peter Dickman