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

ECOOP 2007

28 papers

  1. A Higher Abstraction Level Using First-Class Inheritance Relations · Marko van Dooren, Eric Steegmans
  2. A Machine Model for Aspect-Oriented Programming · Michael Haupt, Hans Schippers
  3. A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships · Stephanie Balzer, Thomas R. Gross, Patrick Eugster
  4. A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring · Eric Bodden, Laurie J. Hendren, Ondrej Lhoták
  5. AS-GC: An Efficient Generational Garbage Collector for Java Application Servers · Feng Xian, Witawas Srisa-an, ChengHuan Jia, Hong Jiang
  6. An Accidental Simula User · Luca Cardelli
  7. Assuring Object-Oriented Architecture · Jonathan Aldrich
  8. Attribute Grammar-Based Language Extensions for Java · Eric Van Wyk, Lijesh Krishnan, Derek Bodin, August Schwerdfeger
  9. Declarative Object Identity Using Relation Types · Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby
  10. DirectFlow: A Domain-Specific Language for Information-Flow Systems · Chuan-Kai Lin, Andrew P. Black
  11. Efficiently Generating Structurally Complex Inputs with Thousands of Objects · Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid
  12. Erlang - Software for a Concurrent World · Joe Armstrong
  13. Exception Handling: A Field Study in Java and .NET · Bruno Cabral, Paulo Marques
  14. Generational Real-Time Garbage Collection · Daniel Frampton, David F. Bacon, Perry Cheng, David Grove
  15. Generic Universe Types · Werner Dietl, Sophia Drossopoulou, Peter Müller
  16. Gradual Typing for Objects · Jeremy G. Siek, Walid Taha
  17. JavaGI : Generalized Interfaces for Java · Stefan Wehr, Ralf Lämmel, Peter Thiemann
  18. Joinpoint Inference from Behavioral Specification to Implementation · Thomas Cottenier, Aswin van den Berg, Tzilla Elrad
  19. MAO: Ownership and Effects for More Effective Reasoning About Aspects · Curtis Clifton, Gary T. Leavens, James Noble
  20. Matching Objects with Patterns · Burak Emir, Martin Odersky, John Williams
  21. Metamodel Adaptation and Model Co-adaptation · Guido Wachsmuth
  22. Metaprogramming with Traits · John H. Reppy, Aaron Turon
  23. Morphing: Safely Shaping a Class in the Image of Others · Shan Shan Huang, David Zook, Yannis Smaragdakis
  24. Non-null References by Default in Java: Alleviating the Nullity Annotation Burden · Patrice Chalin, Perry R. James
  25. Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines · Kris Venstermans, Lieven Eeckhout, Koen De Bosschere
  26. On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study · Phil Greenwood, Thiago T. Bartolomei, Eduardo Figueiredo, Marcos Dósea, Alessandro F. Garcia, Nélio Cacho + 5 more
  27. Tracking Linear and Affine Resources with Java(X) · Markus Degen, Peter Thiemann, Stefan Wehr
  28. Validity Invariants and Effects · Yi Lu, John Potter, Jingling Xue