HTML Export for Dagstuhl Seminar Proceedings, Volume 5451

Copy to Clipboard Download

<h2>Dagstuhl Seminar Proceedings, Volume 5451, </h2>
<ul>
<li>
    <span class="authors">Dave Binkley, Mark Harman, and Jens Krinke</span>
    <span class="title">05451 Abstracts Collection – Beyond Program Slicing</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05451.1">10.4230/DagSemProc.05451.1</a>
</li>
<li>
    <span class="authors">Mark Harman, Dave Binkley, and Jens Krinke</span>
    <span class="title">05451 Executive Summary – Beyond Program Slicing Dagstuhl Seminar</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05451.2">10.4230/DagSemProc.05451.2</a>
</li>
<li>
    <span class="authors">Silvia Breu, Marc Schlickling, and Nuno Miguel Feixa Rodrigues</span>
    <span class="title">05451 Group 5 – Bananas, Dark Worlds, and AspectH</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05451.3">10.4230/DagSemProc.05451.3</a>
</li>
<li>
    <span class="authors">Sue Black and Philipp Bouillon</span>
    <span class="title">And Now For Something Completely Different...</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05451.4">10.4230/DagSemProc.05451.4</a>
</li>
<li>
    <span class="authors">Chris Fox and Arthorn Luangsodsai</span>
    <span class="title">And-Or Dependence Graphs for Slicing Statecharts</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05451.5">10.4230/DagSemProc.05451.5</a>
</li>
<li>
    <span class="authors">Silvia Breu</span>
    <span class="title">Extending C Global Surveyor</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05451.6">10.4230/DagSemProc.05451.6</a>
</li>
<li>
    <span class="authors">Karl Trygve Kalleberg, Tracy Hall, and Ran Ettinger</span>
    <span class="title">Making Slicing Mainstream How can we be Weiser?</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05451.7">10.4230/DagSemProc.05451.7</a>
</li>
<li>
    <span class="authors">Nuno Miguel Feixa Rodrigues and Luís S. Barbosa</span>
    <span class="title">Slicing Functional Programs by Calculation</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05451.8">10.4230/DagSemProc.05451.8</a>
</li>
<li>
    <span class="authors">Jeremy Singer</span>
    <span class="title">Towards Probabilistic Program Slicing</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05451.9">10.4230/DagSemProc.05451.9</a>
</li>
<li>
    <span class="authors">Douglas Kirk, Marc Roper, and Neil Walkinshaw</span>
    <span class="title">Using Attribute Slicing to Refactor Large Classes</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05451.10">10.4230/DagSemProc.05451.10</a>
</li>
<li>
    <span class="authors">Sue Black, Steve Counsell, Tracy Hall, and Paul Wernick</span>
    <span class="title">Using Program Slicing to Identify Faults in Software</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05451.11">10.4230/DagSemProc.05451.11</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