DARTS, Volume 4, Issue 3, ECOOP 2018

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