@Proceedings{deboer_et_al:OASIcs.Gabbrielli,
title = {{OASIcs, Volume 86, Gabbrielli's Festschrift, Complete Volume}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {1--256},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {de Boer, Frank S. and Mauro, Jacopo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli},
URN = {urn:nbn:de:0030-drops-132219},
doi = {10.4230/OASIcs.Gabbrielli},
annote = {Keywords: OASIcs, Volume 86, Gabbrielli's Festschrift, Complete Volume}
}
@InProceedings{deboer_et_al:OASIcs.Gabbrielli.0,
author = {de Boer, Frank S. and Mauro, Jacopo},
title = {{Front Matter, Table of Contents, Preface}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {0:i--0:xiv},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {de Boer, Frank S. and Mauro, Jacopo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.0},
URN = {urn:nbn:de:0030-drops-132227},
doi = {10.4230/OASIcs.Gabbrielli.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{hahnle_et_al:OASIcs.Gabbrielli.1,
author = {H\"{a}hnle, Reiner and Haubner, Anton W. and Kamburjan, Eduard},
title = {{Locally Static, Globally Dynamic Session Types for Active Objects}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {1:1--1:24},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {de Boer, Frank S. and Mauro, Jacopo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.1},
URN = {urn:nbn:de:0030-drops-132237},
doi = {10.4230/OASIcs.Gabbrielli.1},
annote = {Keywords: Session Types, Active Objects, Runtime Verification, Static Verification}
}
@InProceedings{laneve_et_al:OASIcs.Gabbrielli.2,
author = {Laneve, Cosimo and Veschetti, Adele},
title = {{A Formal Analysis of the Bitcoin Protocol}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {2:1--2:17},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {de Boer, Frank S. and Mauro, Jacopo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.2},
URN = {urn:nbn:de:0030-drops-132242},
doi = {10.4230/OASIcs.Gabbrielli.2},
annote = {Keywords: Bitcoin, Distributed consensus, Distributed ledgers, Blockchain, PRISM, forks}
}
@InProceedings{dezaniciancaglini_et_al:OASIcs.Gabbrielli.3,
author = {Dezani-Ciancaglini, Mariangiola and Giannini, Paola and Venneri, Betti},
title = {{Deconfined Intersection Types in Java}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {3:1--3:25},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {de Boer, Frank S. and Mauro, Jacopo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.3},
URN = {urn:nbn:de:0030-drops-132256},
doi = {10.4230/OASIcs.Gabbrielli.3},
annote = {Keywords: Intersection Types, Featherweight Java, Lambda Expressions}
}
@InProceedings{dallapreda:OASIcs.Gabbrielli.4,
author = {Dalla Preda, Mila},
title = {{Towards a Unifying Framework for Tuning Analysis Precision by Program Transformation}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {4:1--4:22},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {de Boer, Frank S. and Mauro, Jacopo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.4},
URN = {urn:nbn:de:0030-drops-132263},
doi = {10.4230/OASIcs.Gabbrielli.4},
annote = {Keywords: Program analysis, analysis precision, program transformation, software protection, code obfuscation}
}
@InProceedings{giallorenzo_et_al:OASIcs.Gabbrielli.5,
author = {Giallorenzo, Saverio and Lanese, Ivan and Montesi, Fabrizio and Sangiorgi, Davide and Zingaro, Stefano Pio},
title = {{The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {5:1--5:21},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {de Boer, Frank S. and Mauro, Jacopo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.5},
URN = {urn:nbn:de:0030-drops-132271},
doi = {10.4230/OASIcs.Gabbrielli.5},
annote = {Keywords: Serverless computing, Process calculi, Pi-calculus}
}
@InProceedings{falaschi_et_al:OASIcs.Gabbrielli.6,
author = {Falaschi, Moreno and Palma, Giulia},
title = {{A Logic Programming Approach to Reaction Systems}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {6:1--6:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {de Boer, Frank S. and Mauro, Jacopo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.6},
URN = {urn:nbn:de:0030-drops-132282},
doi = {10.4230/OASIcs.Gabbrielli.6},
annote = {Keywords: reaction systems, logic programming, non deterministic context}
}
@InProceedings{amadini_et_al:OASIcs.Gabbrielli.7,
author = {Amadini, Roberto and Gange, Graeme and Schachte, Peter and S{\o}ndergaard, Harald and Stuckey, Peter J.},
title = {{Abstract Interpretation, Symbolic Execution and Constraints}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {7:1--7:19},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {de Boer, Frank S. and Mauro, Jacopo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.7},
URN = {urn:nbn:de:0030-drops-132294},
doi = {10.4230/OASIcs.Gabbrielli.7},
annote = {Keywords: Abstract interpretation, symbolic execution, constraint solving, dynamic analysis, static analysis}
}
@InProceedings{martini:OASIcs.Gabbrielli.8,
author = {Martini, Simone},
title = {{The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {8:1--8:13},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {de Boer, Frank S. and Mauro, Jacopo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.8},
URN = {urn:nbn:de:0030-drops-132307},
doi = {10.4230/OASIcs.Gabbrielli.8},
annote = {Keywords: Semantics of programming languages, history of programming languages, mathematical theory of computation}
}
@InProceedings{bistarelli_et_al:OASIcs.Gabbrielli.9,
author = {Bistarelli, Stefano and Taticchi, Carlo},
title = {{A Concurrent Language for Argumentation: Preliminary Notes}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {9:1--9:22},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {de Boer, Frank S. and Mauro, Jacopo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.9},
URN = {urn:nbn:de:0030-drops-132311},
doi = {10.4230/OASIcs.Gabbrielli.9},
annote = {Keywords: Argumentation, Concurrent Language, Debating, Negotiation, Belief Revision}
}
@InProceedings{deboer_et_al:OASIcs.Gabbrielli.10,
author = {de Boer, Frank S. and Johnsen, Einar Broch and Schlatte, Rudolf and Tapia Tarifa, Silvia Lizeth and Tveito, Lars},
title = {{Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {10:1--10:18},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {de Boer, Frank S. and Mauro, Jacopo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.10},
URN = {urn:nbn:de:0030-drops-132322},
doi = {10.4230/OASIcs.Gabbrielli.10},
annote = {Keywords: Testing, Symbolic Traces, Guarded Commands, Partial Order Reduction}
}
@InProceedings{falaschi_et_al:OASIcs.Gabbrielli.11,
author = {Falaschi, Moreno and Palamidessi, Catuscia and Romanelli, Marco},
title = {{Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {11:1--11:20},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {de Boer, Frank S. and Mauro, Jacopo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.11},
URN = {urn:nbn:de:0030-drops-132338},
doi = {10.4230/OASIcs.Gabbrielli.11},
annote = {Keywords: Constraints, machine learning, privacy, security}
}
@InProceedings{bixio_et_al:OASIcs.Gabbrielli.12,
author = {Bixio, Luca and Delzanno, Giorgio and Rebora, Stefano and Rulli, Matteo},
title = {{Adaptive Real Time IoT Stream Processing in Microservices Architecture}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {12:1--12:20},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {de Boer, Frank S. and Mauro, Jacopo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.12},
URN = {urn:nbn:de:0030-drops-132341},
doi = {10.4230/OASIcs.Gabbrielli.12},
annote = {Keywords: Cloud Computing, Service Oriented Computing, Internet of Things, Real-time Stream Processing, Query 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
Feedback for Dagstuhl Publishing