default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th ECOOP 2016: Rome, Italy
- Shriram Krishnamurthi, Benjamin S. Lerner:
30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy. LIPIcs 56, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-014-9 - Front Matter, Table of Contents, Preface, List of Authors. 0:i-0:xiv
- Esben Andreasen, Colin S. Gordon
, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen:
Trace Typing: An Approach for Evaluating Retrofitted Type Systems. 1:1-1:26 - Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, Max Schäfer:
QL: Object-oriented Queries on Relational Data. 2:1-2:25 - Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt:
Fine-grained Language Composition: A Case Study. 3:1-3:27 - Carl Friedrich Bolz, Darya Kurilova, Laurence Tratt:
Making an Embedded DBMS JIT-friendly. 4:1-4:24 - Elias Castegren, Tobias Wrigstad:
Reference Capabilities for Concurrency Control. 5:1-5:26 - Sheng Chen, Martin Erwig, Eric Walkingshaw:
A Calculus for Variational Programming. 6:1-6:28 - Maxime Chevalier-Boisvert, Marc Feeley:
Interprocedural Type Specialization of JavaScript Programs Without Type Analysis. 7:1-7:24 - Jon Eyolfson, Patrick Lam:
C++ const and Immutability: An Empirical Study of Writes-Through-const. 8:1-8:25 - Luminous Fennell, Peter Thiemann:
LJGS: Gradual Security Types for Object-Oriented Languages. 9:1-9:26 - Yossi Gil, Tomer Levy:
Formal Language Recognition with the Java Type Checker. 10:1-10:27 - Daco Harkes, Danny M. Groenewegen, Eelco Visser:
IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs. 11:1-11:26 - Kamil Jezek, Jens Dietrich:
Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic. 12:1-12:25 - Timothy Jones, Michael Homer, James Noble, Kim B. Bruce:
Object Inheritance Without Classes. 13:1-13:26 - Jaakko Järvi, Sean Parent:
One Way to Select Many. 14:1-14:26 - Yue Li, Tian Tan, Yifei Zhang, Jingling Xue:
Program Tailoring: Slicing by Sequential Criteria. 15:1-15:27 - Filipe Militão, Jonathan Aldrich, Luís Caires:
Composing Interfering Abstract Protocols. 16:1-16:26 - Mark S. Miller, Bill Tulloh:
The Elements of Decision Alignment. 17:1-17:5 - Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi:
A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. 18:1-18:25 - Zachary Palmer, Scott F. Smith:
Higher-Order Demand-Driven Program Analysis. 19:1-19:25 - Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser:
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. 20:1-20:26 - Alceste Scalas, Nobuko Yoshida:
Lightweight Session Programming in Scala. 21:1-21:28 - Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden:
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. 22:1-22:26 - Janwillem Swalens, Joeri De Koster, Wolfgang De Meuter:
Transactional Tasks: Parallelism in Software Transactions. 23:1-23:28 - John Toman, Dan Grossman:
Staccato: A Bug Finder for Dynamic Configuration Updates. 24:1-24:25 - Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu:
Transforming Programs between APIs with Many-to-Many Mappings. 25:1-25:26 - Yue Zhao, Guoyang Chen, Chunhua Liao, Xipeng Shen:
Towards Ontology-Based Program Analysis. 26:1-26:25
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-12-08 01:36 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:
