default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th ECOOP 2014: Uppsala, Sweden
- Richard E. Jones
:
ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings. Lecture Notes in Computer Science 8586, Springer 2014, ISBN 978-3-662-44201-2
Analysis
- Shiyi Wei, Barbara G. Ryder:
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects. 1-26 - Yue Li, Tian Tan, Yulei Sui, Jingling Xue:
Self-inferencing Reflection Resolution for Java. 27-53 - Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip:
Constructing Call Graphs of Scala Programs. 54-79 - Siliang Li, Gang Tan:
Finding Reference-Counting Errors in Python/C Programs with Affine Analysis. 80-104
Design
- Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich:
Safely Composable Type-Specific Languages. 105-130 - Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black:
Graceful Dialects. 131-156 - Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich:
Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming. 157-181
Concurrency
- Vincent Gramoli, Rachid Guerraoui:
Reusable Concurrent Data Types. 182-206 - Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner:
TaDA: A Logic for Time and Data Abstraction. 207-231 - Kyu Hyung Lee, Dohyeong Kim, Xiangyu Zhang:
Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores. 232-256
Types
- Gavin M. Bierman, Martín Abadi, Mads Torgersen:
Understanding TypeScript. 257-281 - Davide Ancona, Andrea Corradi:
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. 282-307 - Heather Miller, Philipp Haller, Martin Odersky:
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. 308-333 - Filipe Militão, Jonathan Aldrich, Luís Caires:
Rely-Guarantee Protocols. 334-359
Implementation
- Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel:
Stream Processing with a Spreadsheet. 360-384 - Maximilian Scherr, Shigeru Chiba:
Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding. 385-410 - Tim Felgentreff, Alan Borning, Robert Hirschfeld, Jens Lincke, Yoshiki Ohshima, Bert Freudenberg, Robert Krahn:
Babelsberg/JS - A Browser-Based Implementation of an Object Constraint Language. 411-436
Refactoring
- Philip Mayer, Andreas Schroeder:
Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks. 437-462 - Rezwana Karim, Mohan Dhawan, Vinod Ganapathy:
Retargetting Legacy Browser Extensions to Modern Extension Frameworks. 463-488 - Sebastian Erdweg, Tijs van der Storm, Yi Dai:
Capture-Avoiding and Hygienic Program Transformations. 489-514 - Semih Okur, Cansu Erdogan, Danny Dig:
Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions. 515-540
JavaScript, PHP and Frameworks
- Erick Lavoie, Bruno Dufour, Marc Feeley:
Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering. 541-566 - Daniele Filaretti, Sergio Maffeis:
An Executable Formal Semantics of PHP. 567-592 - Naoya Nitta, Izuru Kume, Yasuhiro Takemura:
Identifying Mandatory Code for Framework Use via a Single Application Trace. 593-617
Parallelism
- Shams Mahmood Imam, Vivek Sarkar:
Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns. 618-643 - Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, Robert Soulé:
MiCA: A Compositional Architecture for Gossip Protocols. 644-669 - Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu:
Semantics of (Resilient) X10. 670-696
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.
last updated on 2024-11-11 21:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
