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
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
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
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.
last updated on 2024-12-19 22:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: