LIPIcs, Volume 56, ECOOP 2016

• Shriram Krishnamurthi and Benjamin S. Lerner LIPIcs, Volume 56, ECOOP'16, Complete Volume 10.4230/LIPIcs.ECOOP.2016
• Shriram Krishnamurthi and Benjamin S. Lerner Front Matter, Table of Contents, Preface, List of Authors 10.4230/LIPIcs.ECOOP.2016.0
• Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, and Koushik Sen Trace Typing: An Approach for Evaluating Retrofitted Type Systems 10.4230/LIPIcs.ECOOP.2016.1
• Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, and Max Schäfer QL: Object-oriented Queries on Relational Data 10.4230/LIPIcs.ECOOP.2016.2
• Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, and Laurence Tratt Fine-grained Language Composition: A Case Study 10.4230/LIPIcs.ECOOP.2016.3
• Carl Friedrich Bolz, Darya Kurilova, and Laurence Tratt Making an Embedded DBMS JIT-friendly 10.4230/LIPIcs.ECOOP.2016.4
• Elias Castegren and Tobias Wrigstad Reference Capabilities for Concurrency Control 10.4230/LIPIcs.ECOOP.2016.5
• Sheng Chen, Martin Erwig, and Eric Walkingshaw A Calculus for Variational Programming 10.4230/LIPIcs.ECOOP.2016.6
• Maxime Chevalier-Boisvert and Marc Feeley Interprocedural Type Specialization of JavaScript Programs Without Type Analysis 10.4230/LIPIcs.ECOOP.2016.7
• Jon Eyolfson and Patrick Lam C++ const and Immutability: An Empirical Study of Writes-Through-const 10.4230/LIPIcs.ECOOP.2016.8
• Luminous Fennell and Peter Thiemann LJGS: Gradual Security Types for Object-Oriented Languages 10.4230/LIPIcs.ECOOP.2016.9
• Yossi Gil and Tomer Levy Formal Language Recognition with the Java Type Checker 10.4230/LIPIcs.ECOOP.2016.10
• Daco C. Harkes, Danny M. Groenewegen, and Eelco Visser IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs 10.4230/LIPIcs.ECOOP.2016.11
• Kamil Jezek and Jens Dietrich Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic 10.4230/LIPIcs.ECOOP.2016.12
• Timothy Jones, Michael Homer, James Noble, and Kim Bruce Object Inheritance Without Classes 10.4230/LIPIcs.ECOOP.2016.13
• Jaakko Järvi and Sean Parent One Way to Select Many 10.4230/LIPIcs.ECOOP.2016.14
• Yue Li, Tian Tan, Yifei Zhang, and Jingling Xue Program Tailoring: Slicing by Sequential Criteria 10.4230/LIPIcs.ECOOP.2016.15
• Filipe Militão, Jonathan Aldrich, and Luís Caires Composing Interfering Abstract Protocols 10.4230/LIPIcs.ECOOP.2016.16
• Mark S. Miller and Bill Tulloh The Elements of Decision Alignment 10.4230/LIPIcs.ECOOP.2016.17
• Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, and Daisuke Kikuchi A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects 10.4230/LIPIcs.ECOOP.2016.18
• Zachary Palmer and Scott F. Smith Higher-Order Demand-Driven Program Analysis 10.4230/LIPIcs.ECOOP.2016.19
• Casper Bach Poulsen, Pierre Néron, Andrew Tolmach, and Eelco Visser Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics 10.4230/LIPIcs.ECOOP.2016.20
• Alceste Scalas and Nobuko Yoshida Lightweight Session Programming in Scala 10.4230/LIPIcs.ECOOP.2016.21
• Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java 10.4230/LIPIcs.ECOOP.2016.22
• Janwillem Swalens, Joeri De Koster, and Wolfgang De Meuter Transactional Tasks: Parallelism in Software Transactions 10.4230/LIPIcs.ECOOP.2016.23
• John Toman and Dan Grossman Staccato: A Bug Finder for Dynamic Configuration Updates 10.4230/LIPIcs.ECOOP.2016.24
• Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, and Zhenjiang Hu Transforming Programs between APIs with Many-to-Many Mappings 10.4230/LIPIcs.ECOOP.2016.25
• Yue Zhao, Guoyang Chen, Chunhua Liao, and Xipeng Shen Towards Ontology-Based Program Analysis 10.4230/LIPIcs.ECOOP.2016.26