@Proceedings{mller_et_al:LIPIcs.ECOOP.2021, title = {{LIPIcs, Volume 194, ECOOP 2021, Complete Volume}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {1--628}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021}, URN = {urn:nbn:de:0030-drops-140422}, doi = {10.4230/LIPIcs.ECOOP.2021}, annote = {Keywords: LIPIcs, Volume 194, ECOOP 2021, Complete Volume} } @InProceedings{mller_et_al:LIPIcs.ECOOP.2021.0, author = {M{\o}ller, Anders and Sridharan, Manu}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {0:i--0:xxiv}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.0}, URN = {urn:nbn:de:0030-drops-140438}, doi = {10.4230/LIPIcs.ECOOP.2021.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} } @InProceedings{vanantwerpen_et_al:LIPIcs.ECOOP.2021.1, author = {van Antwerpen, Hendrik and Visser, Eelco}, title = {{Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {1:1--1:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.1}, URN = {urn:nbn:de:0030-drops-140441}, doi = {10.4230/LIPIcs.ECOOP.2021.1}, annote = {Keywords: type checking, name resolution, parallel algorithms} } @InProceedings{schubert_et_al:LIPIcs.ECOOP.2021.2, author = {Schubert, Philipp Dominik and Hermann, Ben and Bodden, Eric}, title = {{Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {2:1--2:31}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.2}, URN = {urn:nbn:de:0030-drops-140453}, doi = {10.4230/LIPIcs.ECOOP.2021.2}, annote = {Keywords: Inter-procedural static analysis, compositional analysis, LLVM, C/C++} } @InProceedings{estep_et_al:LIPIcs.ECOOP.2021.3, author = {Estep, Sam and Wise, Jenna and Aldrich, Jonathan and Tanter, \'{E}ric and Bader, Johannes and Sunshine, Joshua}, title = {{Gradual Program Analysis for Null Pointers}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {3:1--3:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.3}, URN = {urn:nbn:de:0030-drops-140469}, doi = {10.4230/LIPIcs.ECOOP.2021.3}, annote = {Keywords: gradual typing, gradual verification, dataflow analysis} } @InProceedings{bessai_et_al:LIPIcs.ECOOP.2021.4, author = {Bessai, Jan and Heineman, George T. and D\"{u}dder, Boris}, title = {{Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {4:1--4:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.4}, URN = {urn:nbn:de:0030-drops-140476}, doi = {10.4230/LIPIcs.ECOOP.2021.4}, annote = {Keywords: Expression problem, software evolution, type safety, producer method, binary method} } @InProceedings{buyse_et_al:LIPIcs.ECOOP.2021.5, author = {Buyse, Maxime and Delmas, R\'{e}mi and Hamadi, Youssef}, title = {{ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {5:1--5:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.5}, URN = {urn:nbn:de:0030-drops-140487}, doi = {10.4230/LIPIcs.ECOOP.2021.5}, annote = {Keywords: Domain-Specific Language, Deep Embedding, Scala 3, Architecture Modelling, Safety Assessment, Static Analysis, Monte-Carlo Methods} } @InProceedings{maj_et_al:LIPIcs.ECOOP.2021.6, author = {Maj, Petr and Siek, Konrad and Kovalenko, Alexander and Vitek, Jan}, title = {{CodeDJ: Reproducible Queries over Large-Scale Software Repositories}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {6:1--6:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.6}, URN = {urn:nbn:de:0030-drops-140498}, doi = {10.4230/LIPIcs.ECOOP.2021.6}, annote = {Keywords: Software, Mining Code Repositories, Source Code Analysis} } @InProceedings{arteca_et_al:LIPIcs.ECOOP.2021.7, author = {Arteca, Ellen and Tip, Frank and Sch\"{a}fer, Max}, title = {{Enabling Additional Parallelism in Asynchronous JavaScript Applications}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {7:1--7:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.7}, URN = {urn:nbn:de:0030-drops-140501}, doi = {10.4230/LIPIcs.ECOOP.2021.7}, annote = {Keywords: asynchronous programming, refactoring, side-effect analysis, performance optimization, static analysis, JavaScript} } @InProceedings{hao_et_al:LIPIcs.ECOOP.2021.8, author = {Hao, Yu and Latif, Sufian and Zhang, Hailong and Bassily, Raef and Rountev, Atanas}, title = {{Differential Privacy for Coverage Analysis of Software Traces}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {8:1--8:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.8}, URN = {urn:nbn:de:0030-drops-140513}, doi = {10.4230/LIPIcs.ECOOP.2021.8}, annote = {Keywords: Trace Profiling, Differential Privacy, Program Analysis} } @InProceedings{brady:LIPIcs.ECOOP.2021.9, author = {Brady, Edwin}, title = {{Idris 2: Quantitative Type Theory in Practice}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {9:1--9:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.9}, URN = {urn:nbn:de:0030-drops-140527}, doi = {10.4230/LIPIcs.ECOOP.2021.9}, annote = {Keywords: Dependent types, linear types, concurrency} } @InProceedings{harvey_et_al:LIPIcs.ECOOP.2021.10, author = {Harvey, Paul and Fowler, Simon and Dardha, Ornela and Gay, Simon J.}, title = {{Multiparty Session Types for Safe Runtime Adaptation in an Actor Language}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {10:1--10:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.10}, URN = {urn:nbn:de:0030-drops-140539}, doi = {10.4230/LIPIcs.ECOOP.2021.10}, annote = {Keywords: Concurrency, session types, adaptation} } @InProceedings{gu_et_al:LIPIcs.ECOOP.2021.11, author = {Gu, Xiaodong and Han, Yo-Sub and Kim, Sunghun and Zhang, Hongyu}, title = {{Do Bugs Propagate? An Empirical Analysis of Temporal Correlations Among Software Bugs}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {11:1--11:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.11}, URN = {urn:nbn:de:0030-drops-140540}, doi = {10.4230/LIPIcs.ECOOP.2021.11}, annote = {Keywords: empirical software engineering, bug propagation, software graph, bug correlation} } @InProceedings{ye_et_al:LIPIcs.ECOOP.2021.12, author = {Ye, Wenjia and Oliveira, Bruno C. d. S. and Huang, Xuejing}, title = {{Type-Directed Operational Semantics for Gradual Typing}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {12:1--12:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.12}, URN = {urn:nbn:de:0030-drops-140551}, doi = {10.4230/LIPIcs.ECOOP.2021.12}, annote = {Keywords: Gradual Typing, Type Systems, Operational Semantics} } @InProceedings{rau_et_al:LIPIcs.ECOOP.2021.13, author = {Rau, Ohad and Voss, Caleb and Sarkar, Vivek}, title = {{Linear Promises: Towards Safer Concurrent Programming}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {13:1--13:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.13}, URN = {urn:nbn:de:0030-drops-140565}, doi = {10.4230/LIPIcs.ECOOP.2021.13}, annote = {Keywords: promises, type systems, linear typing, operational semantics, concurrency} } @InProceedings{dimovski_et_al:LIPIcs.ECOOP.2021.14, author = {Dimovski, Aleksandar S. and Apel, Sven}, title = {{Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {14:1--14:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.14}, URN = {urn:nbn:de:0030-drops-140572}, doi = {10.4230/LIPIcs.ECOOP.2021.14}, annote = {Keywords: Dynamic program families, Static analysis, Abstract interpretation, Decision tree lifted domain} } @InProceedings{zhang_et_al:LIPIcs.ECOOP.2021.15, author = {Zhang, Guoqiang and Shen, Xipeng}, title = {{Best-Effort Lazy Evaluation for Python Software Built on APIs}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {15:1--15:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.15}, URN = {urn:nbn:de:0030-drops-140582}, doi = {10.4230/LIPIcs.ECOOP.2021.15}, annote = {Keywords: Lazy Evaluation, Python, API Optimization} } @InProceedings{he_et_al:LIPIcs.ECOOP.2021.16, author = {He, Dongjie and Lu, Jingbo and Gao, Yaoqing and Xue, Jingling}, title = {{Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {16:1--16:31}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.16}, URN = {urn:nbn:de:0030-drops-140592}, doi = {10.4230/LIPIcs.ECOOP.2021.16}, annote = {Keywords: Object-Sensitive Pointer Analysis, CFL Reachability, Object Containment} } @InProceedings{kamina_et_al:LIPIcs.ECOOP.2021.17, author = {Kamina, Tetsuo and Aotani, Tomoyuki and Masuhara, Hidehiko}, title = {{Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {17:1--17:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.17}, URN = {urn:nbn:de:0030-drops-140605}, doi = {10.4230/LIPIcs.ECOOP.2021.17}, annote = {Keywords: Persistent signals, Reactive programming, Time-series databases} } @InProceedings{tondwalkar_et_al:LIPIcs.ECOOP.2021.18, author = {Tondwalkar, Anish and Kolosick, Matthew and Jhala, Ranjit}, title = {{Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {18:1--18:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.18}, URN = {urn:nbn:de:0030-drops-140615}, doi = {10.4230/LIPIcs.ECOOP.2021.18}, annote = {Keywords: Refinement Types, Implicit Parameters, Verification, Dependent Pairs} } @InProceedings{bonifacio_et_al:LIPIcs.ECOOP.2021.19, author = {Bonif\'{a}cio, Rodrigo and Kr\"{u}ger, Stefan and Narasimhan, Krishna and Bodden, Eric and Mezini, Mira}, title = {{Dealing with Variability in API Misuse Specification}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {19:1--19:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.19}, URN = {urn:nbn:de:0030-drops-140621}, doi = {10.4230/LIPIcs.ECOOP.2021.19}, annote = {Keywords: API misuse, cryptographic API misuse detection, code generation, domain engineering, cryptographic standards} } @InProceedings{bartoloburlo_et_al:LIPIcs.ECOOP.2021.20, author = {Bartolo Burl\`{o}, Christian and Francalanza, Adrian and Scalas, Alceste}, title = {{On the Monitorability of Session Types, in Theory and Practice}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {20:1--20:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.20}, URN = {urn:nbn:de:0030-drops-140630}, doi = {10.4230/LIPIcs.ECOOP.2021.20}, annote = {Keywords: Session types, monitorability, monitor correctness, Scala} } @InProceedings{servetto_et_al:LIPIcs.ECOOP.2021.21, author = {Servetto, Marco and Zucca, Elena}, title = {{\lambda-Based Object-Oriented Programming}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {21:1--21:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.21}, URN = {urn:nbn:de:0030-drops-140649}, doi = {10.4230/LIPIcs.ECOOP.2021.21}, annote = {Keywords: Programming paradigms, Java, lambda-calculus} } @InProceedings{giallorenzo_et_al:LIPIcs.ECOOP.2021.22, author = {Giallorenzo, Saverio and Montesi, Fabrizio and Peressotti, Marco and Richter, David and Salvaneschi, Guido and Weisenburger, Pascal}, title = {{Multiparty Languages: The Choreographic and Multitier Cases}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {22:1--22:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.22}, URN = {urn:nbn:de:0030-drops-140658}, doi = {10.4230/LIPIcs.ECOOP.2021.22}, annote = {Keywords: Distributed Programming, Choreographies, Multitier Languages} }
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