PPDP 2022 Accepted Papers

James Smith, Xiangyu Guo and Ajay Bansal. A Predicate Construct for Declarative Programming in Imperative Languages

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri and Jessica Zangari. ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding

Adam Khayam, Louis Noizet and Alan Schmitt. A Faithful Description of ECMAScript Algorithms

Pedro Ângelo and Mário Florido. A Typed Lambda Calculus with Gradual Intersection Types

Kai-Oliver Prott, Finn Teegen and Michael Hanus. A Monadic Implementation of Functional Logic Programs

Remi Desmartin, Grant Passmore, Ekaterina Komendantskaya and Matthew Daggit. CheckINN: Wide Range Neural Network Verification in Imandra

David Sabel, Manfred Schmidt-Schauss and Luca Maio. Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus

Avishkar Mahajan, Martin Strecker and Meng Wong. User Guided Abductive Proof Generation for Answer Set Programming Queries

Gopalan Nadathur and Mary Southern. A Logic for Formalizing Properties of LF Specifications

James Cheney and Maribel Fernandez. Nominal Matching Logic

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt and Camille Noûs. Certified Derivation of Small-Step From Big-Step Skeletal Semantics