![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
26th ECOOP 2012: Beijing, China
- James Noble
:
ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. Lecture Notes in Computer Science 7313, Springer 2012, ISBN 978-3-642-31056-0
Keynote 1
- Martin Odersky:
When Compilers Are Mirrors. 1
Extensibility
- Bruno C. d. S. Oliveira, William R. Cook:
Extensibility for the Masses - Practical Extensibility with Object Algebras. 2-27 - Romain Robbes, David Röthlisberger, Éric Tanter:
Extensions during Software Evolution: Do Objects Meet Their Promise? 28-52 - Christoph Reichenbach
, Yannis Smaragdakis, Neil Immerman:
PQL: A Purely-Declarative Java Extension for Parallel Programming. 53-78
Language Evaluation
- Stas Negara, Mohsen Vakilian, Nicholas Chen, Ralph E. Johnson, Danny Dig:
Is It Dangerous to Use Version Control Histories to Study Source Code Evolution? 79-103 - Floréal Morandat, Brandon Hill, Leo Osvald, Jan Vitek:
Evaluating the Design of the R Language - Objects and Functions for Data Analysis. 104-131 - Jesse Doherty, Laurie J. Hendren:
McSAF: A Static Analysis Framework for MATLAB. 132-155
Ownerhsip and Initialisation
- Johan Östlund, Tobias Wrigstad:
Multiple Aggregate Entry Points for Ownership Types. 156-180 - Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst:
Inference and Checking of Object Ownership. 181-206 - Yoav Zibin, David Cunningham, Igor Peshansky, Vijay A. Saraswat:
Object Initialization in X10. 207-231
Keynote 2: Dahl-Nygaard Junior Award Winner
- Tobias Wrigstad:
Structured Aliasing. 232
Language Features
- Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland
, Erik Meijer, Mads Torgersen:
Pause 'n' Play: Formalizing Asynchronous C#. 233-257 - Lukas Rytz, Martin Odersky, Philipp Haller:
Lightweight Polymorphic Effects. 258-282 - Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood:
Cloud Types for Eventual Consistency. 283-307
Special-Purpose Analyses
- Khilan Gudka, Tim Harris, Susan Eisenbach:
Lock Inference in the Presence of Large Libraries. 308-332 - Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan:
An Analysis of the Mozilla Jetpack Extension Framework. 333-355 - Joseph Gil, Yuval Shimron:
Smaller Footprint for Java Collections. 356-382
JavaScript
- Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy:
Enhancing JavaScript with Transactions. 383-408 - Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky:
JavaScript as an Embedded DSL. 409-434 - Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip:
Correlation Tracking for Points-To Analysis of JavaScript. 435-458
Hardcore Theory
- Davide Ancona:
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics. 459-483 - Dominic Duggan, Jianhua Yao:
Static Sessional Dataflow. 484-508 - John Altidor, Christoph Reichenbach
, Yannis Smaragdakis:
Java Wildcards Meet Definition-Site Variance. 509-534
Modularity
- Friedrich Steimann
, Jens von Pilgrim:
Constraint-Based Refactoring with Foresight. 535-559 - Viviana Bono, Jarek Kusmierek, Mauro Mulatero:
Magda: A New Language for Modularity. 560-588 - Byeongcheol Lee, Robert Grimm
, Martin Hirzel, Kathryn S. McKinley:
Marco: Safe, Expressive Macros for Any Language. 589-613
Updates and Interference
- Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar:
Practical Permissions for Race-Free Parallelism. 614-639 - Ricardo J. Dias, Dino Distefano, João Costa Seco
, João Lourenço:
Verification of Snapshot Isolation in Transactional Memory Java Programs. 640-664 - Arnab De, Deepak D'Souza:
Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates. 665-687
General-Purpose Analyses
- Karim Ali, Ondrej Lhoták:
Application-Only Call Graph Construction. 688-712 - Ran Ettinger:
Program Sliding. 713-737 - Guoqing Xu, Dacong Yan, Atanas Rountev:
Static Detection of Loop-Invariant Data Structures. 738-763
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.