<h2>LIPIcs, Volume 56, ECOOP 2016</h2>
<ul>
<li>
<span class="authors">Shriram Krishnamurthi and Benjamin S. Lerner</span>
<span class="title">LIPIcs, Volume 56, ECOOP'16, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016">10.4230/LIPIcs.ECOOP.2016</a>
</li>
<li>
<span class="authors">Shriram Krishnamurthi and Benjamin S. Lerner</span>
<span class="title">Front Matter, Table of Contents, Preface, List of Authors</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.0">10.4230/LIPIcs.ECOOP.2016.0</a>
</li>
<li>
<span class="authors">Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, and Koushik Sen</span>
<span class="title">Trace Typing: An Approach for Evaluating Retrofitted Type Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.1">10.4230/LIPIcs.ECOOP.2016.1</a>
</li>
<li>
<span class="authors">Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, and Max Schäfer</span>
<span class="title">QL: Object-oriented Queries on Relational Data</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.2">10.4230/LIPIcs.ECOOP.2016.2</a>
</li>
<li>
<span class="authors">Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, and Laurence Tratt</span>
<span class="title">Fine-grained Language Composition: A Case Study</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.3">10.4230/LIPIcs.ECOOP.2016.3</a>
</li>
<li>
<span class="authors">Carl Friedrich Bolz, Darya Kurilova, and Laurence Tratt</span>
<span class="title">Making an Embedded DBMS JIT-friendly</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.4">10.4230/LIPIcs.ECOOP.2016.4</a>
</li>
<li>
<span class="authors">Elias Castegren and Tobias Wrigstad</span>
<span class="title">Reference Capabilities for Concurrency Control</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.5">10.4230/LIPIcs.ECOOP.2016.5</a>
</li>
<li>
<span class="authors">Sheng Chen, Martin Erwig, and Eric Walkingshaw</span>
<span class="title">A Calculus for Variational Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.6">10.4230/LIPIcs.ECOOP.2016.6</a>
</li>
<li>
<span class="authors">Maxime Chevalier-Boisvert and Marc Feeley</span>
<span class="title">Interprocedural Type Specialization of JavaScript Programs Without Type Analysis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.7">10.4230/LIPIcs.ECOOP.2016.7</a>
</li>
<li>
<span class="authors">Jon Eyolfson and Patrick Lam</span>
<span class="title">C++ const and Immutability: An Empirical Study of Writes-Through-const</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.8">10.4230/LIPIcs.ECOOP.2016.8</a>
</li>
<li>
<span class="authors">Luminous Fennell and Peter Thiemann</span>
<span class="title">LJGS: Gradual Security Types for Object-Oriented Languages</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.9">10.4230/LIPIcs.ECOOP.2016.9</a>
</li>
<li>
<span class="authors">Yossi Gil and Tomer Levy</span>
<span class="title">Formal Language Recognition with the Java Type Checker</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.10">10.4230/LIPIcs.ECOOP.2016.10</a>
</li>
<li>
<span class="authors">Daco C. Harkes, Danny M. Groenewegen, and Eelco Visser</span>
<span class="title">IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.11">10.4230/LIPIcs.ECOOP.2016.11</a>
</li>
<li>
<span class="authors">Kamil Jezek and Jens Dietrich</span>
<span class="title">Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.12">10.4230/LIPIcs.ECOOP.2016.12</a>
</li>
<li>
<span class="authors">Timothy Jones, Michael Homer, James Noble, and Kim Bruce</span>
<span class="title">Object Inheritance Without Classes</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.13">10.4230/LIPIcs.ECOOP.2016.13</a>
</li>
<li>
<span class="authors">Jaakko Järvi and Sean Parent</span>
<span class="title">One Way to Select Many</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.14">10.4230/LIPIcs.ECOOP.2016.14</a>
</li>
<li>
<span class="authors">Yue Li, Tian Tan, Yifei Zhang, and Jingling Xue</span>
<span class="title">Program Tailoring: Slicing by Sequential Criteria</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.15">10.4230/LIPIcs.ECOOP.2016.15</a>
</li>
<li>
<span class="authors">Filipe Militão, Jonathan Aldrich, and Luís Caires</span>
<span class="title">Composing Interfering Abstract Protocols</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.16">10.4230/LIPIcs.ECOOP.2016.16</a>
</li>
<li>
<span class="authors">Mark S. Miller and Bill Tulloh</span>
<span class="title">The Elements of Decision Alignment</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.17">10.4230/LIPIcs.ECOOP.2016.17</a>
</li>
<li>
<span class="authors">Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, and Daisuke Kikuchi</span>
<span class="title">A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.18">10.4230/LIPIcs.ECOOP.2016.18</a>
</li>
<li>
<span class="authors">Zachary Palmer and Scott F. Smith</span>
<span class="title">Higher-Order Demand-Driven Program Analysis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.19">10.4230/LIPIcs.ECOOP.2016.19</a>
</li>
<li>
<span class="authors">Casper Bach Poulsen, Pierre Néron, Andrew Tolmach, and Eelco Visser</span>
<span class="title">Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.20">10.4230/LIPIcs.ECOOP.2016.20</a>
</li>
<li>
<span class="authors">Alceste Scalas and Nobuko Yoshida</span>
<span class="title">Lightweight Session Programming in Scala</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.21">10.4230/LIPIcs.ECOOP.2016.21</a>
</li>
<li>
<span class="authors">Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden</span>
<span class="title">Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.22">10.4230/LIPIcs.ECOOP.2016.22</a>
</li>
<li>
<span class="authors">Janwillem Swalens, Joeri De Koster, and Wolfgang De Meuter</span>
<span class="title">Transactional Tasks: Parallelism in Software Transactions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.23">10.4230/LIPIcs.ECOOP.2016.23</a>
</li>
<li>
<span class="authors">John Toman and Dan Grossman</span>
<span class="title">Staccato: A Bug Finder for Dynamic Configuration Updates</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.24">10.4230/LIPIcs.ECOOP.2016.24</a>
</li>
<li>
<span class="authors">Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, and Zhenjiang Hu</span>
<span class="title">Transforming Programs between APIs with Many-to-Many Mappings</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.25">10.4230/LIPIcs.ECOOP.2016.25</a>
</li>
<li>
<span class="authors">Yue Zhao, Guoyang Chen, Chunhua Liao, and Xipeng Shen</span>
<span class="title">Towards Ontology-Based Program Analysis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2016.26">10.4230/LIPIcs.ECOOP.2016.26</a>
</li>
</ul>
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing