![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Festschrift: Maurizio Gabbrielli 2020
- Frank S. de Boer, Jacopo Mauro
:
Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy. OASIcs 86, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-171-9 - Front Matter, Table of Contents, Preface. 0:1-0:14
- Reiner Hähnle, Anton W. Haubner
, Eduard Kamburjan
:
Locally Static, Globally Dynamic Session Types for Active Objects. 1:1-1:24 - Cosimo Laneve, Adele Veschetti:
A Formal Analysis of the Bitcoin Protocol. 2:1-2:17 - Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
:
Deconfined Intersection Types in Java. 3:1-3:25 - Mila Dalla Preda:
Towards a Unifying Framework for Tuning Analysis Precision by Program Transformation. 4:1-4:22 - Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro
:
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. 5:1-5:21 - Moreno Falaschi, Giulia Palma:
A Logic Programming Approach to Reaction Systems. 6:1-6:15 - Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard
, Peter J. Stuckey:
Abstract Interpretation, Symbolic Execution and Constraints. 7:1-7:19 - Simone Martini
:
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation. 8:1-8:13 - Stefano Bistarelli, Carlo Taticchi:
A Concurrent Language for Argumentation: Preliminary Notes. 9:1-9:22 - Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito:
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. 10:1-10:18 - Moreno Falaschi, Catuscia Palamidessi, Marco Romanelli:
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy. 11:1-11:20 - Luca Bixio, Giorgio Delzanno, Stefano Rebora, Matteo Rulli:
Adaptive Real Time IoT Stream Processing in Microservices Architecture. 12:1-12:20
![](https://dblp.dagstuhl.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.