@Article{christakis_et_al:DARTS.4.3.0,
author = {Christakis, Maria and Haller, Philipp and Rapoport, Marianna and Rapoport, Marianna},
title = {{Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}},
pages = {0:i--0:xii},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
editor = {Christakis, Maria and Haller, Philipp and Rapoport, Marianna and Rapoport, Marianna},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.0},
URN = {urn:nbn:de:0030-drops-92327},
doi = {10.4230/DARTS.4.3.0},
annote = {Keywords: Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}
}
@Article{campos_et_al:DARTS.4.3.1,
author = {Campos, Joana and Vasconcelos, Vasco T.},
title = {{Dependent Types for Class-based Mutable Objects (Artifact)}},
pages = {1:1--1:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
editor = {Campos, Joana and Vasconcelos, Vasco T.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.1},
URN = {urn:nbn:de:0030-drops-92337},
doi = {10.4230/DARTS.4.3.1},
annote = {Keywords: dependent types, index refinements, mutable objects, type systems}
}
@Article{toman_et_al:DARTS.4.3.2,
author = {Toman, John and Grossman, Dan},
title = {{Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact)}},
pages = {2:1--2:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
editor = {Toman, John and Grossman, Dan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.2},
URN = {urn:nbn:de:0030-drops-92342},
doi = {10.4230/DARTS.4.3.2},
annote = {Keywords: Static Analysis, Dynamic Configuration Updates}
}
@Article{oostvogels_et_al:DARTS.4.3.3,
author = {Oostvogels, Nathalie and De Koster, Joeri and De Meuter, Wolfgang},
title = {{Static Typing of Complex Presence Constraints in Interfaces (Artifact)}},
pages = {3:1--3:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
editor = {Oostvogels, Nathalie and De Koster, Joeri and De Meuter, Wolfgang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.3},
URN = {urn:nbn:de:0030-drops-92422},
doi = {10.4230/DARTS.4.3.3},
annote = {Keywords: type system, interfaces, dependency logic}
}
@Article{inoue_et_al:DARTS.4.3.4,
author = {Inoue, Hiroaki and Aotani, Tomoyuki and Igarashi, Atsushi},
title = {{ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)}},
pages = {4:1--4:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
editor = {Inoue, Hiroaki and Aotani, Tomoyuki and Igarashi, Atsushi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.4},
URN = {urn:nbn:de:0030-drops-92356},
doi = {10.4230/DARTS.4.3.4},
annote = {Keywords: workflow, asynchronous exception, checkpoint, monad, embedded domain specific language}
}
@Article{bi_et_al:DARTS.4.3.5,
author = {Bi, Xuan and Oliveira, Bruno C. d. S. and Schrijvers, Tom},
title = {{The Essence of Nested Composition (Artifact)}},
pages = {5:1--5:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
editor = {Bi, Xuan and Oliveira, Bruno C. d. S. and Schrijvers, Tom},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.5},
URN = {urn:nbn:de:0030-drops-92363},
doi = {10.4230/DARTS.4.3.5},
annote = {Keywords: nested composition, family polymorphism, intersection types, coherence}
}
@Article{kruger_et_al:DARTS.4.3.6,
author = {Kr\"{u}ger, Stefan and Sp\"{a}th, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira},
title = {{CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact)}},
pages = {6:1--6:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
editor = {Kr\"{u}ger, Stefan and Sp\"{a}th, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.6},
URN = {urn:nbn:de:0030-drops-92371},
doi = {10.4230/DARTS.4.3.6},
annote = {Keywords: cryptography, domain-specific language, static analysis}
}
@Article{milanova_et_al:DARTS.4.3.7,
author = {Milanova, Ana and Huang, Wei},
title = {{Definite Reference Mutability (Artifact)}},
pages = {7:1--7:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
editor = {Milanova, Ana and Huang, Wei},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.7},
URN = {urn:nbn:de:0030-drops-92382},
doi = {10.4230/DARTS.4.3.7},
annote = {Keywords: reference immutability, type inference, CFL-reachability}
}
@Article{mezzetti_et_al:DARTS.4.3.8,
author = {Mezzetti, Gianluca and M{\o}ller, Anders and Torp, Martin Toldam},
title = {{Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact)}},
pages = {8:1--8:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
editor = {Mezzetti, Gianluca and M{\o}ller, Anders and Torp, Martin Toldam},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.8},
URN = {urn:nbn:de:0030-drops-92394},
doi = {10.4230/DARTS.4.3.8},
annote = {Keywords: JavaScript, semantic versioning, dynamic analysis}
}
@Article{bi_et_al:DARTS.4.3.9,
author = {Bi, Xuan and Oliveira, Bruno C. d. S.},
title = {{Typed First-Class Traits (Artifact)}},
pages = {9:1--9:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
editor = {Bi, Xuan and Oliveira, Bruno C. d. S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.9},
URN = {urn:nbn:de:0030-drops-92407},
doi = {10.4230/DARTS.4.3.9},
annote = {Keywords: traits, extensible designs}
}
@Article{chung_et_al:DARTS.4.3.10,
author = {Chung, Benjamin and Li, Paley and Nardelli, Francesco Zappa and Vitek, Jan},
title = {{KafKa: Gradual Typing for Objects (Artifact)}},
pages = {10:1--10:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
editor = {Chung, Benjamin and Li, Paley and Nardelli, Francesco Zappa and Vitek, Jan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.10},
URN = {urn:nbn:de:0030-drops-92411},
doi = {10.4230/DARTS.4.3.10},
annote = {Keywords: Gradual typing, object-orientation, language design, type systems}
}
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