Search results for "ECOOP"

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

Publications at "ECOOP"( http://dblp.L3S.de/Venues/ECOOP )