HTML Export for ECOOP 2018

Copy to Clipboard Download

<h2>DARTS, Volume 4, Issue 3, ECOOP 2018</h2>
<ul>
<li>
    <span class="authors">Maria Christakis, Philipp Haller, Marianna Rapoport, and Marianna Rapoport</span>
    <span class="title">Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.4.3.0">10.4230/DARTS.4.3.0</a>
</li>
<li>
    <span class="authors">Joana Campos and Vasco T. Vasconcelos</span>
    <span class="title">Dependent Types for Class-based Mutable Objects (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.4.3.1">10.4230/DARTS.4.3.1</a>
</li>
<li>
    <span class="authors">John Toman and Dan Grossman</span>
    <span class="title">Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.4.3.2">10.4230/DARTS.4.3.2</a>
</li>
<li>
    <span class="authors">Nathalie Oostvogels, Joeri De Koster, and Wolfgang De Meuter</span>
    <span class="title">Static Typing of Complex Presence Constraints in Interfaces (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.4.3.3">10.4230/DARTS.4.3.3</a>
</li>
<li>
    <span class="authors">Hiroaki Inoue, Tomoyuki Aotani, and Atsushi Igarashi</span>
    <span class="title">ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.4.3.4">10.4230/DARTS.4.3.4</a>
</li>
<li>
    <span class="authors">Xuan Bi, Bruno C. d. S. Oliveira, and Tom Schrijvers</span>
    <span class="title">The Essence of Nested Composition (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.4.3.5">10.4230/DARTS.4.3.5</a>
</li>
<li>
    <span class="authors">Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini</span>
    <span class="title">CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.4.3.6">10.4230/DARTS.4.3.6</a>
</li>
<li>
    <span class="authors">Ana Milanova and Wei Huang</span>
    <span class="title">Definite Reference Mutability (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.4.3.7">10.4230/DARTS.4.3.7</a>
</li>
<li>
    <span class="authors">Gianluca Mezzetti, Anders Møller, and Martin Toldam Torp</span>
    <span class="title">Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.4.3.8">10.4230/DARTS.4.3.8</a>
</li>
<li>
    <span class="authors">Xuan Bi and Bruno C. d. S. Oliveira</span>
    <span class="title">Typed First-Class Traits (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.4.3.9">10.4230/DARTS.4.3.9</a>
</li>
<li>
    <span class="authors">Benjamin Chung, Paley Li, Francesco Zappa Nardelli, and Jan Vitek</span>
    <span class="title">KafKa: Gradual Typing for Objects (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.4.3.10">10.4230/DARTS.4.3.10</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