![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
32nd ECOOP 2018: Amsterdam, The Netherlands
- Todd D. Millstein:
32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands. LIPIcs 109, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-079-8 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:xx
- Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi
, Bernd Freisleben
, Mira Mezini:
Fault-tolerant Distributed Reactive Programming. 1:1-1:26 - Hiroaki Inoue, Tomoyuki Aotani
, Atsushi Igarashi
:
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions. 2:1-2:33 - Aleksandar Prokopec
, Fengyun Liu:
Theory and Practice of Coroutines with Snapshots. 3:1-3:32 - Gian Ntzik, Pedro da Rocha Pinto
, Julian Sutherland, Philippa Gardner:
A Concurrent Specification of POSIX File Systems. 4:1-4:28 - Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie, Pratap Lakshman, Jonathan de Halleux:
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects. 5:1-5:27 - Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao
, Sarfraz Khurshid, Lu Zhang:
Learning to Accelerate Symbolic Execution via Code Transformation. 6:1-6:27 - Gianluca Mezzetti, Anders Møller
, Martin Toldam Torp:
Type Regression Testing to Detect Breaking Changes in Node.js Libraries. 7:1-7:24 - Sihan Li, Farah Hariri, Gul Agha:
Targeted Test Generation for Actor Systems. 8:1-8:31 - Xuan Bi, Bruno C. d. S. Oliveira:
Typed First-Class Traits. 9:1-9:28 - Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. 10:1-10:27 - Gowtham Kaki
, G. Ramalingam:
Safe Transferable Regions. 11:1-11:31 - Benjamin Chung
, Paley Li, Francesco Zappa Nardelli, Jan Vitek:
KafKa: Gradual Typing for Objects. 12:1-12:24 - Joana Campos, Vasco T. Vasconcelos
:
Dependent Types for Class-based Mutable Objects. 13:1-13:28 - Nathalie Oostvogels, Joeri De Koster
, Wolfgang De Meuter
:
Static Typing of Complex Presence Constraints in Interfaces. 14:1-14:27 - Ugo de'Liguoro, Luca Padovani:
Mailbox Types for Unordered Interactions. 15:1-15:28 - Mohaned Qunaibit, Stefan Brunthaler
, Yeoul Na, Stijn Volckaert
, Michael Franz:
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization. 16:1-16:29 - Jonathan Bell, Luís Pina
:
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs. 17:1-17:31 - Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezaiean-Asel, Karthik Pattabiraman:
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications. 18:1-18:33 - Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lu:
Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis. 19:1-19:28 - Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto:
FHJ: A Formal Model for Hierarchical Dispatching and Overriding. 20:1-20:30 - Davide Ancona, Francesco Dagnino, Elena Zucca:
Modeling Infinite Behaviour by Corules. 21:1-21:31 - Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
:
The Essence of Nested Composition. 22:1-22:33 - Yannis Smaragdakis, George Kastrinis:
Defensive Points-To Analysis: Effective Soundness via Laziness. 23:1-23:28 - John Toman, Dan Grossman:
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates. 24:1-24:32 - Ana L. Milanova:
Definite Reference Mutability. 25:1-25:30 - Neville Grech
, George Kastrinis, Yannis Smaragdakis:
Efficient Reflection String Analysis via Graph Coloring. 26:1-26:25
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.