share record
persistent URL:
Malgorzata Biernacka , Witold Charatonik , Tomasz Drab : A Derived Reasonable Abstract Machine for Strong Call by Value. PPDP 2021 : 6:1-6:14 share record
persistent URL:
Dariusz Biernacki , Mateusz Pyzik , Filip Sieczkowski : Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory. PPDP 2021 : 4:1-4:13 share record
persistent URL:
Jonas Böhm , Michael Hanus , Finn Teegen : From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. PPDP 2021 : 16:1-16:15 share record
persistent URL:
Luis Carvalho , João Costa Seco : Deep Semantic Versioning for Evolution and Variability. PPDP 2021 : 21:1-21:13 share record
persistent URL:
Horatiu Cirstea , Pierre Lermusiaux , Pierre-Etienne Moreau : Static analysis of pattern-free properties. PPDP 2021 : 9:1-9:13 share record
persistent URL:
Jan C. Dageförde , Hendrik Winkelmann , Herbert Kuchen : Free Objects in Constraint-logic Object-oriented Programming. PPDP 2021 : 14:1-14:13 share record
persistent URL:
Ieva Daukantas , Alessandro Bruni , Carsten Schürmann : Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. PPDP 2021 : 17:1-17:9 share record
persistent URL:
Rachid Echahed , Mnacho Echenim , Mehdi Mhalla , Nicolas Peltier : A Superposition-Based Calculus for Diagrammatic Reasoning. PPDP 2021 : 10:1-10:13 share record
persistent URL:
Serdar Erbatur , Ulrich Schöpp , Chuangjie Xu : Type-based Enforcement of Infinitary Trace Properties for Java. PPDP 2021 : 18:1-18:14 share record
persistent URL:
Gaspard Férey , Jean-Pierre Jouannaud : Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories. PPDP 2021 : 8:1-8:14 share record
persistent URL:
Marco Gaboardi : Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis. PPDP 2021 : 1:1 share record
persistent URL:
William L. Harrison , Chris Hathhorn , Gerard Allwein : A Mechanized Semantic Metalanguage for High Level Synthesis. PPDP 2021 : 22:1-22:14 share record
persistent URL:
Joosep Jääger , Alisa Pankova : PrivaLog: a Privacy-aware Logic Programming Language. PPDP 2021 : 15:1-15:14 share record
persistent URL:
Mathias Jakobsen , Alice Ravier , Ornela Dardha : Papaya: Global Typestate Analysis of Aliased Objects. PPDP 2021 : 19:1-19:13 export record
dblp key:
conf/ppdp/KrishnamurthyS21 share record
persistent URL:
Jayanth Krishnamurthy , Manuel Serrano : Causality Error Tracing in HipHop.js. PPDP 2021 : 13:1-13:13 share record
persistent URL:
Paul D. Rowe , John D. Ramsdell , Ian D. Kretz : Automated Trust Analysis of Copland Specifications for Layered Attestations✱. PPDP 2021 : 23:1-23:15 share record
persistent URL:
Bernardo Toninho , Luís Caires , Frank Pfenning : A Decade of Dependent Session Types. PPDP 2021 : 3:1-3:3 share record
persistent URL:
Stephen Wolfram : The Computational Structure of Programs and the Universe. PPDP 2021 : 2:1 share record
persistent URL:
David Zhao , Pavle Subotic , Mukund Raghothaman , Bernhard Scholz : Towards Elastic Incrementalization for Datalog. PPDP 2021 : 20:1-20:16 share record
persistent URL:
Ugo de'Liguoro , Riccardo Treglia : Intersection types for a λ-calculus with global store. PPDP 2021 : 5:1-5:11 share record
persistent URL:
Niccolò Veltri , Nick Benton , Silvia Ghilezan : PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021. ACM 2021 , ISBN 978-1-4503-8689-0 [contents] 2020 share record
persistent URL:
Beniamino Accattoli , Ugo Dal Lago , Gabriele Vanoni : The Machinery of Interaction. PPDP 2020 : 4:1-4:15 share record
persistent URL:
Franco Barbanera , Ugo de'Liguoro : Two notions of sub-behaviour for session-based client/server systems: 10 Years Later. PPDP 2020 : 2:1-2:3 share record
persistent URL:
Pablo Barenbaum , Eduardo Bonelli : Rewrites as Terms through Justification Logic. PPDP 2020 : 11:1-11:13 share record
persistent URL:
Luca Ciccone , Luca Padovani : A Dependently Typed Linear π-Calculus in Agda. PPDP 2020 : 8:1-8:14 share record
persistent URL:
Ankush Das , Frank Pfenning : Verified Linear Session-Typed Concurrent Programming. PPDP 2020 : 7:1-7:15 share record
persistent URL:
Paul Downen , Zena M. Ariola : A Computational Understanding of Classical (Co)Recursion. PPDP 2020 : 5:1-5:13 share record
persistent URL:
Maribel Fernández , János Varga : Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting. PPDP 2020 : 10:1-10:14 share record
persistent URL:
Alasdair Hill , Ekaterina Komendantskaya , Ronald P. A. Petrick : Proof-Carrying Plans: a Resource Logic for AI Planning. PPDP 2020 : 14:1-14:13 share record
persistent URL:
Maja H. Kirkeby , Robert Glück : Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems. PPDP 2020 : 9:1-9:14