researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
Filter by Tag
[+]
OR
AND
NOT
1
Meta-Environment
Prolog
analysis
constraints
context-aware
data-flow
functional programming
graph-rewriting
logic
logic programming
meta-model
principles
program analysis
programming
rewriting
rule-based
rules
semantics
systematic-approach
termination
Filter by Author
[+]
OR
AND
NOT
1
Beniamino Accattoli
Dariusz Biernacki
David Sabel
Elena Giachino
Frank Pfenning
Gopalan Nadathur
James Cheney
José Meseguer
Konstantinos F. Sagonas
Luca Padovani
Manfred Schmidt-Schauß
Manuel V. Hermenegildo
Mariangiola Dezani-Ciancaglini
Maribel Fernández
Michael Hanus
Nick Benton
Peter J. Stuckey
Sergio Antoy
Tom Schrijvers
Yanhong A. Liu
Filter by Top terms
[+]
OR
AND
NOT
1
abstract
analysis
calculus
constraint
declarative
functional
international
language
linear
logic
order
practice
principles
programming
programs
rewriting
semantics
type
types
verification
PPDP (ppdp)
Editions
Publications
Viewing Publication 1 - 100 from 625
2025
Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
Beniamino Accattoli
,
Cláudio Belo Lourenço
,
Dan R. Ghica
,
Giulio Guerrieri
,
Claudio Sacerdoti Coen
.
ppdp 2025
:
[doi]
Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025
Malgorzata Biernacka
,
Carlos Olarte
,
Francesco Ricca
,
James Cheney
, editors,
ACM,
2025.
[doi]
Abstract machines and small-step semantics: a winning ticket for proof automation?
Alain Delaët
,
Sandrine Blazy
,
Denis Merigoux
.
ppdp 2025
:
[doi]
Formalizing Languages with Binding Operators in Rewriting Logic
Maribel Fernández
,
José Meseguer 0001
.
ppdp 2025
:
[doi]
Realisability and Complementability of Multiparty Session Types
Cinzia Di Giusto
,
Étienne Lozes
,
Pascal Urso
.
ppdp 2025
:
[doi]
Determinism Types for Functional Logic Programming
Michael Hanus
,
Kai-Oliver Prott
.
ppdp 2025
:
[doi]
Operational Game Semantics for Generative Algebraic Effects and Handlers
Hamza Jaafar
,
Guilhem Jaber
.
ppdp 2025
:
[doi]
Transporting Theorems about Typeability in LF Across Schematically Defined Contexts
Chase Johnson
,
Gopalan Nadathur
.
ppdp 2025
:
[doi]
Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
Jan-Christoph Kassing
,
Leon Valentin Spitzer
,
Jürgen Giesl
.
ppdp 2025
:
[doi]
Mechanized Type Soundness for Substructural Types using Iris
Robbert Krebbers
.
ppdp 2025
:
[doi]
Counting Qubits and Gates: Resource Analysis in Quantum Programming Languages
Ugo Dal Lago
.
ppdp 2025
:
[doi]
A Reflection on Task-Oriented Programming
Mart Lubbers
,
Tim Steenvoorden
.
ppdp 2025
:
[doi]
Folding Narrowing for the Analysis of Mutual Exclusion Protocols
Raúl López-Rueda
,
Duong Dinh Tran
,
Canh Minh Do
,
Santiago Escobar 0001
,
Kazuhiro Ogata 0001
.
ppdp 2025
:
[doi]
Distributed, Coordination-Free Programming: 10 Years of Progress Since Lasp
Christopher Meiklejohn
,
Peter Van Roy
.
ppdp 2025
:
[doi]
An adequate while-language for stochastic hybrid computation
Renato Neves
,
José Proença
,
Juliana Souza
.
ppdp 2025
:
[doi]
An interactive type checker for dependent types with general recursion (System Description)
Valentin Pasquale
,
Álvaro García-Pérez
.
ppdp 2025
:
[doi]
Shallowly Embedded Functions
Benedikt M. Rips
,
Niek Janssen
,
Mart Lubbers
,
Pieter W. M. Koopman
.
ppdp 2025
:
[doi]
Formalizing Weighted Pushdown Systems in Isabelle/HOL
Anders Schlichtkrull
,
Morten Konggaard Schou
.
ppdp 2025
:
[doi]
Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations
Kanta Takahata
,
Jonas Schöpf
,
Naoki Nishida 0001
,
Takahito Aoto 0001
.
ppdp 2025
:
[doi]
Fixture Layout Optimization in Wood Industry: A Case Study
Anna Vitali
,
Roberto Amadini
,
Maurizio Gabbrielli
.
ppdp 2025
:
[doi]
On the Automated Verification of BGP Convergence
Gerald Whitters
,
Haoyun Qin
,
Boon Thau Loo
,
Carolyn L. Talcott
.
ppdp 2025
:
[doi]
2024
Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic
Jaime Arias 0001
,
Carlos Olarte
,
Wojciech Penczek
,
Laure Petrucci
,
Teofil Sidoruk
.
ppdp 2024
:
[doi]
Un-projectable Global Types for Multiparty Sessions
Franco Barbanera
,
Mariangiola Dezani-Ciancaglini
,
Ugo de'Liguoro
.
ppdp 2024
:
[doi]
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024
Alessandro Bruni
,
Alberto Momigliano
,
Matteo Pradella
,
Matteo Rossi 0001
,
James Cheney
, editors,
ACM,
2024.
[doi]
Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report
Roberto Casadei
,
Mirko Viroli
.
ppdp 2024
:
[doi]
A simple view of multiparty session types
Ilaria Castellani
.
ppdp 2024
:
[doi]
On the Preciseness of Subtyping in Session Types: 10 Years Later
Tzu-Chun Chen
,
Mariangiola Dezani-Ciancaglini
,
Nobuko Yoshida
.
ppdp 2024
:
[doi]
sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions
Francesco Dagnino
,
Luca Padovani
.
ppdp 2024
:
[doi]
NuITP: An Inductive Theorem Prover for Equational Program Verification
Francisco J. Durán
,
Santiago Escobar 0001
,
José Meseguer 0001
,
Julia Sapiña
.
ppdp 2024
:
[doi]
Programming Open Distributed Systems in Maude
Francisco Durán
,
Steven Eker
,
Santiago Escobar
,
Narciso Martí-Oliet
,
José Meseguer
,
Rubén Rubio
,
Carolyn L. Talcott
.
ppdp 2024
:
[doi]
Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language
Maribel Fernández
,
Ian Mackie
.
ppdp 2024
:
[doi]
Higher-Order unification for free!: Reusing the meta-language unification for the object language
Davide Fissore
,
Enrico Tassi
.
ppdp 2024
:
[doi]
Evidence Tampering and Chain of Custody in Layered Attestations
Ian D. Kretz
,
Paul D. Rowe
,
Clare C. Parran
,
John D. Ramsdell
.
ppdp 2024
:
[doi]
Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events
Luca Laboccetta
,
Elena Mastria
,
Francesco Calimeri
,
Nicola Leone
,
Simona Perri
,
Giorgio Terracina
.
ppdp 2024
:
[doi]
On the Almost-Sure Termination of Binary Sessions
Ugo Dal Lago
,
Luca Padovani
.
ppdp 2024
:
[doi]
Reachability Analysis in Micro-Stipula
Cosimo Laneve
.
ppdp 2024
:
[doi]
Concurrent monads for shared state
Exequiel Rivas
,
Tarmo Uustalu
.
ppdp 2024
:
[doi]
The logical essence of call-by-name CPS translations
José Espírito Santo
,
Filipa Mendes
.
ppdp 2024
:
[doi]
Formal Verification of Executable Matrix Inversion via Adjoint Matrix and Gaussian Elimination
ZhengPu Shi
,
Gang Chen
.
ppdp 2024
:
[doi]
Language-Based Security for Low-Level MPC
Christian Skalka
,
Joseph P. Near
.
ppdp 2024
:
[doi]
Grammar-based Pattern Matching and Type Checking for Difference Data Structures
Naoki Yamamoto
,
Kazunori Ueda
.
ppdp 2024
:
[doi]
2023
International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023
Santiago Escobar 0001
,
Vasco T. Vasconcelos
, editors,
ACM,
2023.
[doi]
Multicompatibility for Multiparty-Session Composition
Franco Barbanera
,
Mariangiola Dezani-Ciancaglini
,
Lorenzo Gheri
,
Nobuko Yoshida
.
ppdp 2023
:
[doi]
Additive Cellular Automata Graded-Monadically
Silvio Capobianco
,
Tarmo Uustalu
.
ppdp 2023
:
[doi]
Data-Dependent Confidentiality in DCR Graphs
Eduardo Geraldo
,
João Costa Seco
,
Thomas T. Hildebrandt
.
ppdp 2023
:
[doi]
stableKanren: Integrating Stable Model Semantics with miniKanren
Xiangyu Guo
,
James Smith
,
Ajay Bansal
.
ppdp 2023
:
[doi]
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators
Kazuki Ikemori
,
Youyou Cong
,
Hidehiko Masuhara
.
ppdp 2023
:
[doi]
Strongly-Typed Multi-View Stack-Based Computations
Pieter W. M. Koopman
,
Mart Lubbers
.
ppdp 2023
:
[doi]
Termination in Concurrency, Revisited
Joseph W. N. Paulus
,
Jorge A. Pérez 0001
,
Daniele Nantes Sobrinho
.
ppdp 2023
:
[doi]
Type-directed Program Transformation for Constant-Time Enforcement
Gautier Raimondi
,
Frédéric Besson
,
Thomas P. Jensen
.
ppdp 2023
:
[doi]
Comprehending queries over finite maps
Wilmer Ricciotti
.
ppdp 2023
:
[doi]
Polymorphic Typestate for Session Types
Hannes Saffrich
,
Peter Thiemann 0001
.
ppdp 2023
:
[doi]
Closure Conversion in Little Pieces
Zachary J. Sullivan
,
Paul Downen
,
Zena M. Ariola
.
ppdp 2023
:
[doi]
Intuitionistic Metric Temporal Logic
Luiz De Sá
,
Bernardo Toninho
,
Frank Pfenning
.
ppdp 2023
:
[doi]
A Calculus of Delayed Reductions
Steffen van Bakel
,
Nicolas Wu
,
Emma Tye
.
ppdp 2023
:
[doi]
2022
PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022
ACM,
2022.
[doi]
Certified Derivation of Small-Step From Big-Step Skeletal Semantics
Guillaume Ambal
,
Sergueï Lenglet
,
Alan Schmitt
,
Camille Noûs
.
ppdp 2022
:
[doi]
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
Francesco Calimeri
,
Giovambattista Ianni
,
Francesco Pacenza
,
Simona Perri
,
Jessica Zangari
.
ppdp 2022
:
[doi]
Nominal Matching Logic
James Cheney
,
Maribel Fernández
.
ppdp 2022
:
[doi]
Session Types Revisited: A Decade Later
Ornela Dardha
,
Elena Giachino
,
Davide Sangiorgi
.
ppdp 2022
:
[doi]
CheckINN: Wide Range Neural Network Verification in Imandra
Remi Desmartin
,
Grant O. Passmore
,
Ekaterina Komendantskaya
,
Matthew Daggit
.
ppdp 2022
:
[doi]
A Monadic Implementation of Functional Logic Programs
Michael Hanus
,
Kai-Oliver Prott
,
Finn Teegen
.
ppdp 2022
:
[doi]
A Faithful Description of ECMAScript Algorithms
Adam Khayam
,
Louis Noizet
,
Alan Schmitt
.
ppdp 2022
:
[doi]
User Guided Abductive Proof Generation for Answer Set Programming Queries
Avishkar Mahajan
,
Martin Strecker
,
Meng Weng Wong
.
ppdp 2022
:
[doi]
A Logic for Formalizing Properties of LF Specifications
Gopalan Nadathur
,
Mary Southern
.
ppdp 2022
:
[doi]
Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus
David Sabel
,
Manfred Schmidt-Schauß
,
Luca Maio
.
ppdp 2022
:
[doi]
A Predicate Construct for Declarative Programming in Imperative Languages
James Smith
,
Xiangyu Guo
,
Ajay Bansal
.
ppdp 2022
:
[doi]
A Typed Lambda Calculus with Gradual Intersection Types
Pedro Ângelo
,
Mário Florido
.
ppdp 2022
:
[doi]
2021
Canonical proof-objects for coinductive programming: infinets with infinitely many cuts
Abhishek De 0001
,
Luc Pellissier
,
Alexis Saurin
.
ppdp 2021
:
[doi]
A Typed Slicing Compilation of the Polymorphic RPC calculus
Kwanghoon Choi 0001
,
James Cheney
,
Sam Lindley
,
Bob Reynders
.
ppdp 2021
:
[doi]
Minimal Session Types for the π-calculus
Alen Arslanagic
,
Anda-Amelia Palamariuc
,
Jorge A. Pérez 0001
.
ppdp 2021
:
[doi]
A Derived Reasonable Abstract Machine for Strong Call by Value
Malgorzata Biernacka
,
Witold Charatonik
,
Tomasz Drab
.
ppdp 2021
:
[doi]
Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory
Dariusz Biernacki
,
Mateusz Pyzik
,
Filip Sieczkowski
.
ppdp 2021
:
[doi]
From Non-determinism to Goroutines: A Fair Implementation of Curry in Go
Jonas Böhm
,
Michael Hanus
,
Finn Teegen
.
ppdp 2021
:
[doi]
Deep Semantic Versioning for Evolution and Variability
Luis Carvalho
,
João Costa Seco
.
ppdp 2021
:
[doi]
Static analysis of pattern-free properties
Horatiu Cirstea
,
Pierre Lermusiaux
,
Pierre-Etienne Moreau
.
ppdp 2021
:
[doi]
Free Objects in Constraint-logic Object-oriented Programming
Jan C. Dageförde
,
Hendrik Winkelmann
,
Herbert Kuchen
.
ppdp 2021
:
[doi]
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation
Ieva Daukantas
,
Alessandro Bruni
,
Carsten Schürmann
.
ppdp 2021
:
[doi]
Intersection types for a λ-calculus with global store
Ugo de'Liguoro
,
Riccardo Treglia
.
ppdp 2021
:
[doi]
A Superposition-Based Calculus for Diagrammatic Reasoning
Rachid Echahed
,
Mnacho Echenim
,
Mehdi Mhalla
,
Nicolas Peltier
.
ppdp 2021
:
[doi]
Type-based Enforcement of Infinitary Trace Properties for Java
Serdar Erbatur
,
Ulrich Schöpp
,
Chuangjie Xu
.
ppdp 2021
:
[doi]
Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories
Gaspard Férey
,
Jean-Pierre Jouannaud
.
ppdp 2021
:
[doi]
Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis
Marco Gaboardi
.
ppdp 2021
:
[doi]
A Mechanized Semantic Metalanguage for High Level Synthesis
William L. Harrison
,
Chris Hathhorn
,
Gerard Allwein
.
ppdp 2021
:
[doi]
Papaya: Global Typestate Analysis of Aliased Objects
Mathias Jakobsen
,
Alice Ravier
,
Ornela Dardha
.
ppdp 2021
:
[doi]
PrivaLog: a Privacy-aware Logic Programming Language
Joosep Jääger
,
Alisa Pankova
.
ppdp 2021
:
[doi]
Causality Error Tracing in HipHop.js
Jayanth Krishnamurthy
,
Manuel Serrano
.
ppdp 2021
:
[doi]
Automated Trust Analysis of Copland Specifications for Layered Attestations✱
Paul D. Rowe
,
John D. Ramsdell
,
Ian D. Kretz
.
ppdp 2021
:
[doi]
A Decade of Dependent Session Types
Bernardo Toninho
,
Luís Caires
,
Frank Pfenning
.
ppdp 2021
:
[doi]
PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021
Niccolò Veltri
,
Nick Benton
,
Silvia Ghilezan
, editors,
ACM,
2021.
[doi]
The Computational Structure of Programs and the Universe
Stephen Wolfram
.
ppdp 2021
:
[doi]
Towards Elastic Incrementalization for Datalog
David Zhao
,
Pavle Subotic
,
Mukund Raghothaman
,
Bernhard Scholz
.
ppdp 2021
:
[doi]
2020
PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020
ACM,
2020.
[doi]
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later
Franco Barbanera
,
Ugo de'Liguoro
.
ppdp 2020
:
[doi]
Rewrites as Terms through Justification Logic
Pablo Barenbaum
,
Eduardo Bonelli
.
ppdp 2020
:
[doi]
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems
Maja H. Kirkeby
,
Robert Glück
.
ppdp 2020
:
[doi]
Non-monotonic Spatial Reasoning for Safety Analysis in Construction
Beidi Li
,
Jochen Teizer
,
Carl P. L. Schultz
.
ppdp 2020
:
[doi]
Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications
Abhiroop Sarkar
,
Mary Sheeran
.
ppdp 2020
:
[doi]
Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer
Mallku Soldevila
,
Beta Ziliani
,
Daniel Fridlender
.
ppdp 2020
:
[doi]
Declarative abstractions for tensor program partitioning
Dimitrios Vytiniotis
.
ppdp 2020
:
[doi]
Sign in
or
sign up
to see more results.