Gabbrielli's Festschrift

Keyphrases

Publications

2020

Cosimo Laneve, Adele Veschetti
A Formal Analysis of the Bitcoin Protocol. Gabbrielli's Festschrift (2020)
Moreno Falaschi, Giulia Palma
A Logic Programming Approach to Reaction Systems. Gabbrielli's Festschrift (2020)
Simone Martini
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation. Gabbrielli's Festschrift (2020)
Mila Dalla Preda
Towards a Unifying Framework for Tuning Analysis Precision by Program Transformation. Gabbrielli's Festschrift (2020)
Front Matter, Table of Contents, Preface. Gabbrielli's Festschrift (2020)
Luca Bixio, Giorgio Delzanno, Stefano Rebora, Matteo Rulli
Adaptive Real Time IoT Stream Processing in Microservices Architecture. Gabbrielli's Festschrift (2020)
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. Gabbrielli's Festschrift (2020)
Moreno Falaschi, Catuscia Palamidessi, Marco Romanelli
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy. Gabbrielli's Festschrift (2020)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Deconfined Intersection Types in Java. Gabbrielli's Festschrift (2020)
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Abstract Interpretation, Symbolic Execution and Constraints. Gabbrielli's Festschrift (2020)
Stefano Bistarelli, Carlo Taticchi
A Concurrent Language for Argumentation: Preliminary Notes. Gabbrielli's Festschrift (2020)
Reiner Hähnle, Anton W. Haubner, Eduard Kamburjan
Locally Static, Globally Dynamic Session Types for Active Objects. Gabbrielli's Festschrift (2020)
Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. Gabbrielli's Festschrift (2020)

volume 86, 2020

Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy. Gabbrielli's Festschrift 86 (2020)