PPDP - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 625

2025

Closure Conversion, Flat Environments, and the Complexity of Abstract MachinesBeniamino 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, 2025Malgorzata 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 LogicMaribel Fernández, José Meseguer 0001. ppdp 2025: [doi]

Realisability and Complementability of Multiparty Session TypesCinzia Di Giusto, Étienne Lozes, Pascal Urso. ppdp 2025: [doi]

Determinism Types for Functional Logic ProgrammingMichael Hanus, Kai-Oliver Prott. ppdp 2025: [doi]

Operational Game Semantics for Generative Algebraic Effects and HandlersHamza Jaafar, Guilhem Jaber. ppdp 2025: [doi]

Transporting Theorems about Typeability in LF Across Schematically Defined ContextsChase Johnson, Gopalan Nadathur. ppdp 2025: [doi]

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term RewritingJan-Christoph Kassing, Leon Valentin Spitzer, Jürgen Giesl. ppdp 2025: [doi]

Mechanized Type Soundness for Substructural Types using IrisRobbert Krebbers. ppdp 2025: [doi]

Counting Qubits and Gates: Resource Analysis in Quantum Programming LanguagesUgo Dal Lago. ppdp 2025: [doi]

A Reflection on Task-Oriented ProgrammingMart Lubbers, Tim Steenvoorden. ppdp 2025: [doi]

Folding Narrowing for the Analysis of Mutual Exclusion ProtocolsRaú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 LaspChristopher Meiklejohn, Peter Van Roy. ppdp 2025: [doi]

An adequate while-language for stochastic hybrid computationRenato 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 FunctionsBenedikt M. Rips, Niek Janssen, Mart Lubbers, Pieter W. M. Koopman. ppdp 2025: [doi]

Formalizing Weighted Pushdown Systems in Isabelle/HOLAnders Schlichtkrull, Morten Konggaard Schou. ppdp 2025: [doi]

Recovering Commutation of Logically Constrained Rewriting and Equivalence TransformationsKanta Takahata, Jonas Schöpf, Naoki Nishida 0001, Takahito Aoto 0001. ppdp 2025: [doi]

Fixture Layout Optimization in Wood Industry: A Case StudyAnna Vitali, Roberto Amadini, Maurizio Gabbrielli. ppdp 2025: [doi]

On the Automated Verification of BGP ConvergenceGerald 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 LogicJaime Arias 0001, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk. ppdp 2024: [doi]

Un-projectable Global Types for Multiparty SessionsFranco 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, 2024Alessandro 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 ReportRoberto Casadei, Mirko Viroli. ppdp 2024: [doi]

A simple view of multiparty session typesIlaria Castellani. ppdp 2024: [doi]

On the Preciseness of Subtyping in Session Types: 10 Years LaterTzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida. ppdp 2024: [doi]

sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure SessionsFrancesco Dagnino, Luca Padovani. ppdp 2024: [doi]

NuITP: An Inductive Theorem Prover for Equational Program VerificationFrancisco J. Durán, Santiago Escobar 0001, José Meseguer 0001, Julia Sapiña. ppdp 2024: [doi]

Programming Open Distributed Systems in MaudeFrancisco 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 LanguageMaribel Fernández, Ian Mackie. ppdp 2024: [doi]

Higher-Order unification for free!: Reusing the meta-language unification for the object languageDavide Fissore, Enrico Tassi. ppdp 2024: [doi]

Evidence Tampering and Chain of Custody in Layered AttestationsIan 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 EventsLuca Laboccetta, Elena Mastria, Francesco Calimeri, Nicola Leone, Simona Perri, Giorgio Terracina. ppdp 2024: [doi]

On the Almost-Sure Termination of Binary SessionsUgo Dal Lago, Luca Padovani. ppdp 2024: [doi]

Reachability Analysis in Micro-StipulaCosimo Laneve. ppdp 2024: [doi]

Concurrent monads for shared stateExequiel Rivas, Tarmo Uustalu. ppdp 2024: [doi]

The logical essence of call-by-name CPS translationsJosé Espírito Santo, Filipa Mendes. ppdp 2024: [doi]

Formal Verification of Executable Matrix Inversion via Adjoint Matrix and Gaussian EliminationZhengPu Shi, Gang Chen. ppdp 2024: [doi]

Language-Based Security for Low-Level MPCChristian Skalka, Joseph P. Near. ppdp 2024: [doi]

Grammar-based Pattern Matching and Type Checking for Difference Data StructuresNaoki Yamamoto, Kazunori Ueda. ppdp 2024: [doi]

2023

International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023Santiago Escobar 0001, Vasco T. Vasconcelos, editors, ACM, 2023. [doi]

Multicompatibility for Multiparty-Session CompositionFranco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida. ppdp 2023: [doi]

Additive Cellular Automata Graded-MonadicallySilvio Capobianco, Tarmo Uustalu. ppdp 2023: [doi]

Data-Dependent Confidentiality in DCR GraphsEduardo Geraldo, João Costa Seco, Thomas T. Hildebrandt. ppdp 2023: [doi]

stableKanren: Integrating Stable Model Semantics with miniKanrenXiangyu Guo, James Smith, Ajay Bansal. ppdp 2023: [doi]

Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control OperatorsKazuki Ikemori, Youyou Cong, Hidehiko Masuhara. ppdp 2023: [doi]

Strongly-Typed Multi-View Stack-Based ComputationsPieter W. M. Koopman, Mart Lubbers. ppdp 2023: [doi]

Termination in Concurrency, RevisitedJoseph W. N. Paulus, Jorge A. Pérez 0001, Daniele Nantes Sobrinho. ppdp 2023: [doi]

Type-directed Program Transformation for Constant-Time EnforcementGautier Raimondi, Frédéric Besson, Thomas P. Jensen. ppdp 2023: [doi]

Comprehending queries over finite mapsWilmer Ricciotti. ppdp 2023: [doi]

Polymorphic Typestate for Session TypesHannes Saffrich, Peter Thiemann 0001. ppdp 2023: [doi]

Closure Conversion in Little PiecesZachary J. Sullivan, Paul Downen, Zena M. Ariola. ppdp 2023: [doi]

Intuitionistic Metric Temporal LogicLuiz De Sá, Bernardo Toninho, Frank Pfenning. ppdp 2023: [doi]

A Calculus of Delayed ReductionsSteffen 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, 2022ACM, 2022. [doi]

Certified Derivation of Small-Step From Big-Step Skeletal SemanticsGuillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille Noûs. ppdp 2022: [doi]

ASP-based Multi-shot Reasoning via DLV2 with Incremental GroundingFrancesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari. ppdp 2022: [doi]

Nominal Matching LogicJames Cheney, Maribel Fernández. ppdp 2022: [doi]

Session Types Revisited: A Decade LaterOrnela Dardha, Elena Giachino, Davide Sangiorgi. ppdp 2022: [doi]

CheckINN: Wide Range Neural Network Verification in ImandraRemi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew Daggit. ppdp 2022: [doi]

A Monadic Implementation of Functional Logic ProgramsMichael Hanus, Kai-Oliver Prott, Finn Teegen. ppdp 2022: [doi]

A Faithful Description of ECMAScript AlgorithmsAdam Khayam, Louis Noizet, Alan Schmitt. ppdp 2022: [doi]

User Guided Abductive Proof Generation for Answer Set Programming QueriesAvishkar Mahajan, Martin Strecker, Meng Weng Wong. ppdp 2022: [doi]

A Logic for Formalizing Properties of LF SpecificationsGopalan Nadathur, Mary Southern. ppdp 2022: [doi]

Contextual Equivalence in a Probabilistic Call-by-Need Lambda-CalculusDavid Sabel, Manfred Schmidt-Schauß, Luca Maio. ppdp 2022: [doi]

A Predicate Construct for Declarative Programming in Imperative LanguagesJames Smith, Xiangyu Guo, Ajay Bansal. ppdp 2022: [doi]

A Typed Lambda Calculus with Gradual Intersection TypesPedro Ângelo, Mário Florido. ppdp 2022: [doi]

2021

Canonical proof-objects for coinductive programming: infinets with infinitely many cutsAbhishek De 0001, Luc Pellissier, Alexis Saurin. ppdp 2021: [doi]

A Typed Slicing Compilation of the Polymorphic RPC calculusKwanghoon Choi 0001, James Cheney, Sam Lindley, Bob Reynders. ppdp 2021: [doi]

Minimal Session Types for the π-calculusAlen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez 0001. ppdp 2021: [doi]

A Derived Reasonable Abstract Machine for Strong Call by ValueMalgorzata Biernacka, Witold Charatonik, Tomasz Drab. ppdp 2021: [doi]

Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction TheoryDariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski. ppdp 2021: [doi]

From Non-determinism to Goroutines: A Fair Implementation of Curry in GoJonas Böhm, Michael Hanus, Finn Teegen. ppdp 2021: [doi]

Deep Semantic Versioning for Evolution and VariabilityLuis Carvalho, João Costa Seco. ppdp 2021: [doi]

Static analysis of pattern-free propertiesHoratiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau. ppdp 2021: [doi]

Free Objects in Constraint-logic Object-oriented ProgrammingJan C. Dageförde, Hendrik Winkelmann, Herbert Kuchen. ppdp 2021: [doi]

Trimming Data Sets: a Verified Algorithm for Robust Mean EstimationIeva Daukantas, Alessandro Bruni, Carsten Schürmann. ppdp 2021: [doi]

Intersection types for a λ-calculus with global storeUgo de'Liguoro, Riccardo Treglia. ppdp 2021: [doi]

A Superposition-Based Calculus for Diagrammatic ReasoningRachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier. ppdp 2021: [doi]

Type-based Enforcement of Infinitary Trace Properties for JavaSerdar Erbatur, Ulrich Schöpp, Chuangjie Xu. ppdp 2021: [doi]

Confluence in Non-Left-Linear Untyped Higher-Order Rewrite TheoriesGaspard Férey, Jean-Pierre Jouannaud. ppdp 2021: [doi]

Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data AnalysisMarco Gaboardi. ppdp 2021: [doi]

A Mechanized Semantic Metalanguage for High Level SynthesisWilliam L. Harrison, Chris Hathhorn, Gerard Allwein. ppdp 2021: [doi]

Papaya: Global Typestate Analysis of Aliased ObjectsMathias Jakobsen, Alice Ravier, Ornela Dardha. ppdp 2021: [doi]

PrivaLog: a Privacy-aware Logic Programming LanguageJoosep Jääger, Alisa Pankova. ppdp 2021: [doi]

Causality Error Tracing in HipHop.jsJayanth 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 TypesBernardo 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, 2021Niccolò Veltri, Nick Benton, Silvia Ghilezan, editors, ACM, 2021. [doi]

The Computational Structure of Programs and the UniverseStephen Wolfram. ppdp 2021: [doi]

Towards Elastic Incrementalization for DatalogDavid 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, 2020ACM, 2020. [doi]

Two notions of sub-behaviour for session-based client/server systems: 10 Years LaterFranco Barbanera, Ugo de'Liguoro. ppdp 2020: [doi]

Rewrites as Terms through Justification LogicPablo Barenbaum, Eduardo Bonelli. ppdp 2020: [doi]

Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting SystemsMaja H. Kirkeby, Robert Glück. ppdp 2020: [doi]

Non-monotonic Spatial Reasoning for Safety Analysis in ConstructionBeidi Li, Jochen Teizer, Carl P. L. Schultz. ppdp 2020: [doi]

Hailstorm: A Statically-Typed, Purely Functional Language for IoT ApplicationsAbhiroop Sarkar, Mary Sheeran. ppdp 2020: [doi]

Understanding Lua's Garbage Collection: Towards a Formalized Static AnalyzerMallku Soldevila, Beta Ziliani, Daniel Fridlender. ppdp 2020: [doi]

Declarative abstractions for tensor program partitioningDimitrios Vytiniotis. ppdp 2020: [doi]

Links

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

PPDP (ppdp)

Viewing Publication 1 - 100 from 625

2025

2024

2023

2022

2021

2020

Links

Filter by Year [-]OR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

PPDP (ppdp)

Viewing Publication 1 - 100 from 625

2025

2024

2023

2022

2021

2020

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1