default search action
PPDP 2024: Milano, Italy
- Alessandro Bruni, Alberto Momigliano, Matteo Pradella, Matteo Rossi, James Cheney:
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024. ACM 2024, ISBN 979-8-4007-0969-2 - Ilaria Castellani
:
A simple view of multiparty session types. 1:1-1:3 - Tzu-Chun Chen
On the Preciseness of Subtyping in Session Types: 10 Years Later. 2:1-2:3 - Davide Fissore
Higher-Order unification for free!: Reusing the meta-language unification for the object language. 3:1-3:13 - Francesco Dagnino
sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions. 4:1-4:13 - Roberto Casadei
Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report. 5:1-5:5 - Francisco J. Durán
NuITP: An Inductive Theorem Prover for Equational Program Verification. 6:1-6:11 - Francisco Durán
Programming Open Distributed Systems in Maude. 7:1-7:12 - Maribel Fernández
Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language. 8:1-8:14 - Ugo Dal Lago
On the Almost-Sure Termination of Binary Sessions. 9:1-9:12 - Jaime Arias
Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. 10:1-10:14 - José Espírito Santo
The logical essence of call-by-name CPS translations. 11:1-11:12 - ZhengPu Shi
Formal Verification of Executable Matrix Inversion via Adjoint Matrix and Gaussian Elimination. 12:1-12:13 - Naoki Yamamoto
Grammar-based Pattern Matching and Type Checking for Difference Data Structures. 13:1-13:13 - Ian D. Kretz
Evidence Tampering and Chain of Custody in Layered Attestations. 14:1-14:11 - Franco Barbanera
Un-projectable Global Types for Multiparty Sessions. 15:1-15:13 - Christian Skalka
Language-Based Security for Low-Level MPC. 16:1-16:14 - Cosimo Laneve
Reachability Analysis in Micro-Stipula. 17:1-17:12 - Luca Laboccetta
Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events. 18:1-18:12 - Exequiel Rivas
Concurrent monads for shared state. 19:1-19:13
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 2025-02-20 00:33 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: