HTML Export for ECOOP 2015

Copy to Clipboard Download

<h2>DARTS, Volume 1, Issue 1, ECOOP 2015</h2>
<ul>
<li>
    <span class="authors">Camil Demetrescu and Matthew Flatt</span>
    <span class="title">Front Matter, Table of Contents</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.1.1.0">10.4230/DARTS.1.1.0</a>
</li>
<li>
    <span class="authors">Matthias Keil and Peter Thiemann</span>
    <span class="title">TreatJS: Higher-Order Contracts for JavaScript (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.1.1.1">10.4230/DARTS.1.1.1</a>
</li>
<li>
    <span class="authors">Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, and Peter Thiemann</span>
    <span class="title">Transparent Object Proxies for JavaScript (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.1.1.2">10.4230/DARTS.1.1.2</a>
</li>
<li>
    <span class="authors">Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, and Benjamin Chung</span>
    <span class="title">A Theory of Tagged Objects (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.1.1.3">10.4230/DARTS.1.1.3</a>
</li>
<li>
    <span class="authors">Timothy Jones, Michael Homer, and James Noble</span>
    <span class="title">Brand Objects for Nominal Typing (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.1.1.4">10.4230/DARTS.1.1.4</a>
</li>
<li>
    <span class="authors">Vincent St-Amour and Shu-yu Guo</span>
    <span class="title">Optimization Coaching for JavaScript (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.1.1.5">10.4230/DARTS.1.1.5</a>
</li>
<li>
    <span class="authors">Shams Imam and Vivek Sarkar</span>
    <span class="title">The Eureka Programming Model for Speculative Task Parallelism (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.1.1.6">10.4230/DARTS.1.1.6</a>
</li>
<li>
    <span class="authors">Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, and Rohit Gheyi</span>
    <span class="title">The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.1.1.7">10.4230/DARTS.1.1.7</a>
</li>
<li>
    <span class="authors">Avraham Shinnar, Jérôme Siméon, and Martin Hirzel</span>
    <span class="title">A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.1.1.8">10.4230/DARTS.1.1.8</a>
</li>
<li>
    <span class="authors">Aggelos Biboudis, Nick Palladinos, George Fourtounis, and Yannis Smaragdakis</span>
    <span class="title">Streams à la carte: Extensible Pipelines with Object Algebras (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.1.1.9">10.4230/DARTS.1.1.9</a>
</li>
<li>
    <span class="authors">Malte Schwerhoff and Alexander J. Summers</span>
    <span class="title">Lightweight Support for Magic Wands in an Automatic Verifier (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.1.1.10">10.4230/DARTS.1.1.10</a>
</li>
<li>
    <span class="authors">David Hauzar and Jan Kofron</span>
    <span class="title">Framework for Static Analysis of PHP Applications (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.1.1.11">10.4230/DARTS.1.1.11</a>
</li>
<li>
    <span class="authors">Changhee Park and Sukyoung Ryu</span>
    <span class="title">Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.1.1.12">10.4230/DARTS.1.1.12</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