default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPPDP 2020: Bologna, Italy
- PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020. ACM 2020, ISBN 978-1-4503-8821-4
- Ekaterina Komendantskaya
, Wen Kokke, Daniel Kienitz:
Continuous Verification of Machine Learning: a Declarative Programming Approach. 1:1-1:3 - Franco Barbanera, Ugo de'Liguoro:
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later. 2:1-2:3 - Dimitrios Vytiniotis:
Declarative abstractions for tensor program partitioning. 3:1 - Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
The Machinery of Interaction. 4:1-4:15 - Paul Downen, Zena M. Ariola:
A Computational Understanding of Classical (Co)Recursion. 5:1-5:13 - Dylan McDermott, Maciej Piróg, Tarmo Uustalu:
Degrading Lists. 6:1-6:14 - Ankush Das, Frank Pfenning:
Verified Linear Session-Typed Concurrent Programming. 7:1-7:15 - Luca Ciccone, Luca Padovani:
A Dependently Typed Linear π-Calculus in Agda. 8:1-8:14 - Maja H. Kirkeby, Robert Glück:
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems. 9:1-9:14 - Maribel Fernández, János Varga:
Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting. 10:1-10:14 - Pablo Barenbaum, Eduardo Bonelli:
Rewrites as Terms through Justification Logic. 11:1-11:13 - Abhiroop Sarkar, Mary Sheeran:
Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications. 12:1-12:16 - Mallku Soldevila, Beta Ziliani, Daniel Fridlender:
Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer. 13:1-13:14 - Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick:
Proof-Carrying Plans: a Resource Logic for AI Planning. 14:1-14:13 - Gonzague Yernaux, Wim Vanhoof, Laurent Schumacher:
Moulinog: A Generator of Random Student Assignments Written in Prolog. 15:1-15:5 - Beidi Li, Jochen Teizer, Carl Schultz:
Non-monotonic Spatial Reasoning for Safety Analysis in Construction. 16:1-16:12
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 2026-09-01 03:20 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
