ECOOP 2011
29 papers
- A Co-relational Model of Data for Large Shared Data Banks
- A Featherweight Approach to FOOL
- A Refactoring Constraint Language and Its Application to Eiffel
- An Empirical Study of Object Protocols in the Wild
- Atomic Boxes: Coordinated Exception Handling with Transactional Memory
- CDDiff: Semantic Differencing for Class Diagrams
- Can We Avoid High Coupling?
- Counting Messages as a Proxy for Average Execution Time in Pharo
- Detecting and Escaping Infinite Loops with Jolt
- Expressiveness, Simplicity, and Users
- Frequency Estimation of Virtual Call Targets for Object-Oriented Programs
- Gradual Typestate
- Improving the Tokenisation of Identifier Names
- Interprocedural Exception Analysis for C++
- Maintaining Database Integrity with Refinement Types
- Mining Evolution of Object Usage
- Modal Object Diagrams
- Patterns of Memory Inefficiency
- Related Types
- Reuse, Recycle to De-bloat Software
- Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity
- Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging
- The Beauty and the Beast: Separating Design from Algorithm
- The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications
- Tunable Static Inference for Generic Universe Types
- Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks
- Using Structure-Based Recommendations to Facilitate Discoverability in APIs
- Verifying Multi-object Invariants with Relationships
- Worlds: Controlling the Scope of Side Effects