default search action

combined dblp search
author search
venue search
publication search

ask others

27th ECOOP 2013: Montpellier, France

> Home > Conferences and Workshops > ECOOP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/2013
Giuseppe Castagna:
ECOOP 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Lecture Notes in Computer Science 7920, Springer 2013, ISBN 978-3-642-39037-1

Aspects, Components, and Modularity

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Xu13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Xu13
Guoqing Xu:
CoCo: Sound and Adaptive Replacement of Java Collections. 1-26
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/OliveiraSLC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/OliveiraSLC13
Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook:
Feature-Oriented Programming with Object Algebras. 27-51
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/SujeethRBLCPWPJOO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/SujeethRBLCPWPJOO13
Arvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic, Michael Wu, Aleksandar Prokopec, Vojin Jovanovic, Martin Odersky, Kunle Olukotun:
Composition and Reuse with Compiled Domain-Specific Languages. 52-78

Types

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/LernerELK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/LernerELK13
Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi:
Combining Form and Function: Static Types for JQuery Programs. 79-103
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/ZhuL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/ZhuL13
Haitao Steve Zhu, Yu David Liu:
Heap Decomposition Inference with Linear Programming. 104-128
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/SummersD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/SummersD13
Alexander J. Summers, Sophia Drossopoulou:
A Formal Semantics for Isorecursive and Equirecursive State Abstractions. 129-153

Language Design

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/CutsemM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/CutsemM13
Tom Van Cutsem, Mark S. Miller:
Trustworthy Proxies - Virtualizing Objects with Invariants. 154-178
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/GordonDEG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/GordonDEG13
Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman:
Java UI : Effects for Controlling UI Object Access. 179-204
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/ServettoMPN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/ServettoMPN13
Marco Servetto, Julian Mackay, Alex Potanin, James Noble:
The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. 205-229

Concurrency, Parallelism, and Distribution

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/FreudenreichEFAB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/FreudenreichEFAB13
Tobias Freudenreich, Patrick Eugster, Sebastian Frischbier, Stefan Appel, Alejandro P. Buchmann:
Implementing Federated Object Systems. 230-254
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/FlanaganF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/FlanaganF13
Cormac Flanagan, Stephen N. Freund:
RedCard: Redundant Check Elimination for Dynamic Race Detectors. 255-280
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/GruberB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/GruberB13
Olivier Gruber, Fabienne Boyer:
Ownership-Based Isolation for Concurrent Actors on Multi-core Machines. 281-301
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/TasharofiDJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/TasharofiDJ13
Samira Tasharofi, Peter Dinges, Ralph E. Johnson:
Why Do Scala Developers Mix the Actor Model with other Concurrency Models? 302-326

Analysis and Verification 1

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/SvendsenBP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/SvendsenBP13
Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson:
Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library. 327-351
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AnsaloniKZBBT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AnsaloniKZBBT13
Danilo Ansaloni, Stephen Kell, Yudi Zheng, Lubomír Bulej, Walter Binder, Petr Tuma:
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. 352-377
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AliL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AliL13
Karim Ali, Ondrej Lhoták:
Averroes: Whole-Program Analysis without the Whole Program. 378-400

Analysis and Verification 2

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/CoxCS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/CoxCS13
Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan:
QUIC Graphs: Relational Invariant Generation for Containers. 401-425
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/ThomsenCADE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/ThomsenCADE13
Jakob G. Thomsen, Christian Clausen, Kristoffer Just Andersen, John Danaher, Erik Ernst:
Reducing Lookups for Invariant Checking. 426-450
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/HeuleKMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/HeuleKMS13
Stefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers:
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. 451-476

Modelling and Refactoring

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/TrudelFNM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/TrudelFNM13
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Really Automatic Scalable Object-Oriented Reengineering. 477-501
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/ShomratF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/ShomratF13
Mati Shomrat, Yishai A. Feldman:
Detecting Refactored Clones. 502-526
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/VakilianCMNJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/VakilianCMNJ13
Mohsen Vakilian, Nicholas Chen, Roshanak Zilouchian Moghaddam, Stas Negara, Ralph E. Johnson:
A Compositional Paradigm of Automating Refactorings. 527-551
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/NegaraCVJD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/NegaraCVJD13
Stas Negara, Nicholas Chen, Mohsen Vakilian, Ralph E. Johnson, Danny Dig:
A Comparative Study of Manual and Automated Refactorings. 552-576

Testing, Profiling, and Empirical Studies

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/TemperoYN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/TemperoYN13
Ewan D. Tempero, Hong Yul Yang, James Noble:
What Programmers Do with Inheritance in Java. 577-601
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/HaoLZG013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/HaoLZG013
Dan Hao, Tian Lan, Hongyu Zhang, Chao Guo, Lu Zhang:
Is This a Bug or an Obsolete Test? 602-628
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/GligoricBLOHM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/GligoricBLOHM13
Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov:
Systematic Testing of Refactoring Engines on Real Software Projects. 629-653

Implementation

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/WuZSGSY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/WuZSGSY13
Bo Wu, Mingzhou Zhou, Xipeng Shen, Yaoqing Gao, Raúl Silvera, Graham Yiu:
Simple Profile Rectifications Go a Long Way - Statistically Exploring and Alleviating the Effects of Sampling Errors for Program Optimizations. 654-678
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AuerbachBCFR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AuerbachBCFR13
Joshua S. Auerbach, David F. Bacon, Perry Cheng, Steve Fink, Rodric M. Rabbah:
The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime. 679-706
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/MaierO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/MaierO13
Ingo Maier, Martin Odersky:
Higher-Order Reactive Programming with Incremental Lists. 707-731

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.