ECOOP A

28 papers

YearTitle / Authors
2014An Executable Formal Semantics of PHP.
Daniele Filaretti, Sergio Maffeis
2014Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks.
Philip Mayer, Andreas Schroeder
2014Babelsberg/JS - A Browser-Based Implementation of an Object Constraint Language.
Tim Felgentreff, Alan Borning, Robert Hirschfeld, Jens Lincke, Yoshiki Ohshima, Bert Freudenberg, Robert Krahn
2014Capture-Avoiding and Hygienic Program Transformations.
Sebastian Erdweg, Tijs van der Storm, Yi Dai
2014Constructing Call Graphs of Scala Programs.
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
2014Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions.
Semih Okur, Cansu Erdogan, Danny Dig
2014Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns.
Shams Mahmood Imam, Vivek Sarkar
2014ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings
Richard E. Jones
2014Finding Reference-Counting Errors in Python/C Programs with Affine Analysis.
Siliang Li, Gang Tan
2014Graceful Dialects.
Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black
2014Identifying Mandatory Code for Framework Use via a Single Application Trace.
Naoya Nitta, Izuru Kume, Yasuhiro Takemura
2014Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding.
Maximilian Scherr, Shigeru Chiba
2014Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores.
Kyu Hyung Lee, Dohyeong Kim, Xiangyu Zhang
2014MiCA: A Compositional Architecture for Gossip Protocols.
Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, Robert Soulé
2014Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering.
Erick Lavoie, Bruno Dufour, Marc Feeley
2014Rely-Guarantee Protocols.
Filipe Militão, Jonathan Aldrich, Luís Caires
2014Retargetting Legacy Browser Extensions to Modern Extension Frameworks.
Rezwana Karim, Mohan Dhawan, Vinod Ganapathy
2014Reusable Concurrent Data Types.
Vincent Gramoli, Rachid Guerraoui
2014Safely Composable Type-Specific Languages.
Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
2014Self-inferencing Reflection Resolution for Java.
Yue Li, Tian Tan, Yulei Sui, Jingling Xue
2014Semantics of (Resilient) X10.
Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu
2014Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages.
Davide Ancona, Andrea Corradi
2014Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution.
Heather Miller, Philipp Haller, Martin Odersky
2014State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects.
Shiyi Wei, Barbara G. Ryder
2014Stream Processing with a Spreadsheet.
Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel
2014Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming.
Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich
2014TaDA: A Logic for Time and Data Abstraction.
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
2014Understanding TypeScript.
Gavin M. Bierman, Martín Abadi, Mads Torgersen