Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sophia Drossopoulou, Adrian Francalanza, Peter Müller 0001, Alexander J. Summers |
A Unified Framework for Verification Techniques for Object Invariants. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah |
Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hridesh Rajan, Gary T. Leavens |
Ptolemy: A Language with Quantified, Typed Events. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon 0002, Tatiana Shpeisman, Suresh Jagannathan |
A Uniform Transactional Execution Environment for Java. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Markus Degen 0001, Peter Thiemann 0001, Stefan Wehr |
Tracking Linear and Affine Resources with Java(X). |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Curtis Clifton, Gary T. Leavens, James Noble 0001 |
MAO: Ownership and Effects for More Effective Reasoning About Aspects. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marko van Dooren, Eric Steegmans |
A Higher Abstraction Level Using First-Class Inheritance Relations. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Eric Van Wyk, Lijesh Krishnan, Derek Bodin, August Schwerdfeger |
Attribute Grammar-Based Language Extensions for Java. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli |
An Accidental Simula User. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby |
Declarative Object Identity Using Relation Types. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yi Lu 0003, John Potter, Jingling Xue |
Validity Invariants and Effects. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bodden, Laurie J. Hendren, Ondrej Lhoták |
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Erik Ernst (eds.) |
ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joe Armstrong |
Erlang - Software for a Concurrent World. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Guido Wachsmuth |
Metamodel Adaptation and Model Co-adaptation. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | John H. Reppy, Aaron Turon |
Metaprogramming with Traits. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Chuan-Kai Lin, Andrew P. Black |
DirectFlow: A Domain-Specific Language for Information-Flow Systems. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Feng Xian, Witawas Srisa-an, ChengHuan Jia, Hong Jiang 0001 |
AS-GC: An Efficient Generational Garbage Collector for Java Application Servers. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy G. Siek, Walid Taha |
Gradual Typing for Objects. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Cabral, Paulo Marques |
Exception Handling: A Field Study in Java and .NET. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
Exception Handling Mechanisms, Programming Languages |
1 | Werner Dietl, Sophia Drossopoulou, Peter Müller 0001 |
Generic Universe Types. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Phil Greenwood, Thiago T. Bartolomei, Eduardo Figueiredo 0001, Marcos Dósea, Alessandro F. Garcia 0001, Nélio Cacho, Cláudio Sant'Anna, Sérgio Soares, Paulo Borba, Uirá Kulesza, Awais Rashid |
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Burak Emir, Martin Odersky, John Williams |
Matching Objects with Patterns. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Aldrich |
Assuring Object-Oriented Architecture. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Haupt, Hans Schippers |
A Machine Model for Aspect-Oriented Programming. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie Balzer, Thomas R. Gross, Patrick Eugster |
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid |
Efficiently Generating Structurally Complex Inputs with Thousands of Objects. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
Constraint-based Generation, Integer Constraint Solving, Software Testing, Data Structure Repair |
1 | Daniel Frampton, David F. Bacon, Perry Cheng, David Grove |
Generational Real-Time Garbage Collection. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Wehr, Ralf Lämmel, Peter Thiemann 0001 |
JavaGI : Generalized Interfaces for Java. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Morphing: Safely Shaping a Class in the Image of Others. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Chalin, Perry R. James |
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kris Venstermans, Lieven Eeckhout, Koen De Bosschere |
Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Cottenier, Aswin van den Berg, Tzilla Elrad |
Joinpoint Inference from Behavioral Specification to Implementation. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
Modules and Interfaces, Aspect-Oriented Software Development, Model-Driven Software Engineering |
1 | William R. Cook |
Peak Objects. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ole Lehrmann Madsen |
From ECOOP'87 to ECOOP 2006 and Beyond. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Keunwoo Lee, Craig Chambers |
Parameterized Modules for Classes and Extensible Functions. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sean McDirmid, Wilson C. Hsieh |
SuperGlue: Component Programming with Object-Oriented Signals. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Danny Dig, Can Comertoglu, Darko Marinov, Ralph E. Johnson |
Automated Detection of Refactorings in Evolving Components. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Darren Willis, David J. Pearce 0001, James Noble 0001 |
Efficient Object Querying for Java. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Henry Lieberman |
The Continuing Quest for Abstraction. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ralph E. Johnson |
The Closing of the Frontier. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nick Mitchell |
The Runtime Structure of Object Ownership. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy G. Siek, Walid Taha |
A Semantic Analysis of C++ Templates. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Adam Welc, Antony L. Hosking, Suresh Jagannathan |
Transparently Reconciling Transactions with Locking for Java Synchronization. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu |
Variance and Generalized Constraints for C# Generics. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Erich Gamma |
Design Patterns - 15 Years Later. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jessie Dedecker, Tom Van Cutsem, Stijn Mostinckx, Theo D'Hondt, Wolfgang De Meuter |
Ambient-Oriented Programming in AmbientTalk. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sameer Ajmani, Barbara Liskov, Liuba Shrira |
Modular Software Upgrades for Distributed Systems. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ali Ibrahim, William R. Cook |
Automatic Prefetching by Traversal Profiling in Object Persistence Architectures. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Therapon Skotiniotis, Jeffrey Palm, Karl J. Lieberherr |
Demeter Interfaces: Adaptive Programming Without Surprises. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble 0001, Jan Vitek, Tian Zhao |
Scoped Types and Aspects for Real-Time Java. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Akinori Yonezawa |
Early Concurrent/Mobile Objects. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nick Mitchell, Gary Sevitsky, Harini Srinivasan |
Modeling Runtime Behavior in Framework-Based Applications. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tao Xie 0001 |
Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dave Thomas (eds.) |
ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Serge Abiteboul |
Turning the Network into a Database with Active XML. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Brian Chin, Todd D. Millstein |
Responders: Language Support for Interactive Applications. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yi Lu 0003, John Potter |
On Ownership and Accessibility. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andy Kellens, Kim Mens, Johan Brichau, Kris Gybels |
Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Elnar Hajiyev, Mathieu Verbaere, Oege de Moor |
codeQuest: Scalable Source Code Queries with Datalog. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Steve Cook |
Object Technology - A Grand Narrative? |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou |
Session Types for Object-Oriented Languages. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gail C. Murphy, Mik Kersten, Martin P. Robillard, Davor Cubranic |
The Emergent Structure of Development Tasks. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Brian Foote, Ralph E. Johnson, James Noble 0001 |
Efficient Multimethods in a Single Dispatch Language. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gavin M. Bierman, Erik Meijer 0001, Wolfram Schulte |
The Essence of Data Access in Comega. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Amy L. Williams, William Thies, Michael D. Ernst |
Static Deadlock Detection for Java Libraries. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrew P. Black (eds.) |
ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Ostermann, Mira Mezini, Christoph Bockisch |
Expressive Pointcuts for Increased Modularity. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Charles Smith, Sophia Drossopoulou |
Chai: Traits for Java-Like Languages. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Meyer 0001 |
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Anderson, Paola Giannini, Sophia Drossopoulou |
Towards Type Inference for JavaScript. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yi Lu 0003, John Potter |
A Type System for Reachability and Acyclicity. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby |
Extending JML for Modular Specification and Verification of Multi-threaded Programs. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller |
Efficiently Refactoring Java Applications to Use Generic Libraries. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook |
Evaluating Support for Features in Advanced Modularization Technologies. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vitus S. W. Lam, Julian A. Padget |
Consistency Checking of Statechart Diagrams of a Class Hierarchy. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove |
Derivation and Evaluation of Concurrent Collectors. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Dallmeier, Christian Lindig, Andreas Zeller |
Lightweight Defect Localization for Java. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Shigeru Chiba, Rei Ishikawa |
Aspect-Oriented Programming Beyond Dependency Injection. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Aldrich |
Open Modules: Modular Reasoning About Advice. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marco Pistoia, Robert J. Flynn, Larry Koved, Vugranam C. Sreedhar |
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Kiczales, Mira Mezini |
Separation of Concerns with Procedures, Annotations, Advice and Pointcuts. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Daynès, Grzegorz Czajkowski |
Sharing the Runtime Representation of Classes Across Class Loaders. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Celina Gibbs, Chunjian Robin Liu, Yvonne Coady |
Sustainable System Infrastructure and Big Bang Evolution: Can Aspects Keep Pace? |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Anindya Banerjee 0001, David A. Naumann |
State Based Ownership, Reentrance, and Encapsulation. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiki Sato, Shigeru Chiba |
Loosely-Separated "Sister" Namespaces in Java. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gavin M. Bierman, Alisdair Stuart Wren |
First-Class Relationships in an Object-Oriented Language. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Pacheco, Michael D. Ernst |
Eclat: Automatic Generation and Classification of Test Inputs. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lee Salzman, Jonathan Aldrich |
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky (eds.) |
ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Adam Welc, Suresh Jagannathan, Antony L. Hosking |
Transactional Monitors for Concurrent Objects. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Q. Beers, Christian H. Stork, Michael Franz |
Efficiently Verifiable Escape Analysis. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Roel Wuyts |
Composable Encapsulation Policies. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kim B. Bruce, J. Nathan Foster |
LOOJ: Weaving LOOM into Java. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger |
Rich Interfaces for Software Modules. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Robert Bruce Findler, Matthew Flatt, Matthias Felleisen |
Semantic Casts: Contracts and Structural Subtyping in a Nominal World. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stephen McCamant, Michael D. Ernst |
Early Identification of Incompatibilities in Multi-component Upgrades. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bjorn De Sutter, Frank Tip, Julian Dolby |
Customization of Java Library Classes Using Type Constraints and Profile Information. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Doug Janzen, Kris De Volder |
Programming with Crosscutting Effective Views. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Steven Alexander Spoon, Olin Shivers |
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|