Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar27. ECOOP 2013: Montpellier, France
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
- Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook:
Feature-Oriented Programming with Object Algebras. 27-51 - 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
- Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi:
Combining Form and Function: Static Types for JQuery Programs. 79-103 - Alexander J. Summers, Sophia Drossopoulou:
A Formal Semantics for Isorecursive and Equirecursive State Abstractions. 129-153
Language Design
- Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman:
Java UI : Effects for Controlling UI Object Access. 179-204 - 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
- Tobias Freudenreich, Patrick Eugster, Sebastian Frischbier, Stefan Appel, Alejandro P. Buchmann:
Implementing Federated Object Systems. 230-254 - Cormac Flanagan, Stephen N. Freund:
RedCard: Redundant Check Elimination for Dynamic Race Detectors. 255-280 - Olivier Gruber, Fabienne Boyer:
Ownership-Based Isolation for Concurrent Actors on Multi-core Machines. 281-301 - 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
- Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson:
Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library. 327-351 - 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
Analysis and Verification 2
- Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan:
QUIC Graphs: Relational Invariant Generation for Containers. 401-425 - Jakob G. Thomsen, Christian Clausen, Kristoffer Just Andersen, John Danaher, Erik Ernst:
Reducing Lookups for Invariant Checking. 426-450 - 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
- Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Really Automatic Scalable Object-Oriented Reengineering. 477-501 - Mohsen Vakilian, Nicholas Chen, Roshanak Zilouchian Moghaddam, Stas Negara, Ralph E. Johnson:
A Compositional Paradigm of Automating Refactorings. 527-551 - 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
- Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov:
Systematic Testing of Refactoring Engines on Real Software Projects. 629-653
Implementation
- 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 - 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
maintained by 
, founded at 
, founded at 
last updated on 2019-02-22 23:44 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
