Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Eduardo Geraldo, João Costa Seco, Thomas T. Hildebrandt |
Data-Dependent Confidentiality in DCR Graphs. |
PPDP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida |
Multicompatibility for Multiparty-Session Composition. |
PPDP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel, Nicolas Wu, Emma Tye |
A Calculus of Delayed Reductions. |
PPDP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara |
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators. |
PPDP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gautier Raimondi, Frédéric Besson, Thomas P. Jensen |
Type-directed Program Transformation for Constant-Time Enforcement. |
PPDP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pieter W. M. Koopman, Mart Lubbers |
Strongly-Typed Multi-View Stack-Based Computations. |
PPDP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Saffrich, Peter Thiemann 0001 |
Polymorphic Typestate for Session Types. |
PPDP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Joseph W. N. Paulus, Jorge A. Pérez 0001, Daniele Nantes-Sobrinho |
Termination in Concurrency, Revisited. |
PPDP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Capobianco, Tarmo Uustalu |
Additive Cellular Automata Graded-Monadically. |
PPDP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xiangyu Guo, James Smith, Ajay Bansal |
stableKanren: Integrating Stable Model Semantics with miniKanren. |
PPDP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Escobar 0001, Vasco T. Vasconcelos (eds.) |
International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023 |
PPDP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luiz De Sá, Bernardo Toninho, Frank Pfenning |
Intuitionistic Metric Temporal Logic. |
PPDP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zachary J. Sullivan, Paul Downen, Zena M. Ariola |
Closure Conversion in Little Pieces. |
PPDP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Wilmer Ricciotti |
Comprehending queries over finite maps. |
PPDP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Adam Khayam, Louis Noizet, Alan Schmitt |
A Faithful Description of ECMAScript Algorithms. |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Avishkar Mahajan, Martin Strecker, Meng Weng Wong |
User Guided Abductive Proof Generation for Answer Set Programming Queries. |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille Noûs |
Certified Derivation of Small-Step From Big-Step Skeletal Semantics. |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus, Kai-Oliver Prott, Finn Teegen |
A Monadic Implementation of Functional Logic Programs. |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | David Sabel, Manfred Schmidt-Schauß, Luca Maio |
Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus. |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney, Maribel Fernández |
Nominal Matching Logic. |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Ângelo 0002, Mário Florido |
A Typed Lambda Calculus with Gradual Intersection Types. |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | James Smith, Xiangyu Guo, Ajay Bansal |
A Predicate Construct for Declarative Programming in Imperative Languages. |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022 |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari |
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ornela Dardha, Elena Giachino, Davide Sangiorgi |
Session Types Revisited: A Decade Later. |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt |
CheckINN: Wide Range Neural Network Verification in Imandra. |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gopalan Nadathur, Mary Southern |
A Logic for Formalizing Properties of LF Specifications. |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau |
Static analysis of pattern-free properties. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Böhm, Michael Hanus, Finn Teegen |
From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joosep Jääger, Alisa Pankova |
PrivaLog: a Privacy-aware Logic Programming Language. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Wolfram |
The Computational Structure of Programs and the Universe. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek De 0001, Luc Pellissier, Alexis Saurin |
Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luis Carvalho, João Costa Seco |
Deep Semantic Versioning for Evolution and Variability. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ieva Daukantas, Alessandro Bruni, Carsten Schürmann 0001 |
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ugo de'Liguoro, Riccardo Treglia |
Intersection types for a λ-calculus with global store. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paul D. Rowe, John D. Ramsdell, Ian D. Kretz |
Automated Trust Analysis of Copland Specifications for Layered Attestations✱. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jan C. Dageförde, Hendrik Winkelmann, Herbert Kuchen |
Free Objects in Constraint-logic Object-oriented Programming. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier |
A Superposition-Based Calculus for Diagrammatic Reasoning. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez 0001 |
Minimal Session Types for the π-calculus. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bernardo Toninho, Luís Caires, Frank Pfenning |
A Decade of Dependent Session Types. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski |
Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Malgorzata Biernacka, Witold Charatonik, Tomasz Drab |
A Derived Reasonable Abstract Machine for Strong Call by Value. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Jakobsen, Alice Ravier, Ornela Dardha |
Papaya: Global Typestate Analysis of Aliased Objects. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Niccolò Veltri, Nick Benton, Silvia Ghilezan (eds.) |
PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021 |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jayanth Krishnamurthy, Manuel Serrano |
Causality Error Tracing in HipHop.js. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David Zhao 0001, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
Towards Elastic Incrementalization for Datalog. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | William L. Harrison, Chris Hathhorn, Gerard Allwein |
A Mechanized Semantic Metalanguage for High Level Synthesis. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gaboardi |
Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kwanghoon Choi 0001, James Cheney, Sam Lindley, Bob Reynders |
A Typed Slicing Compilation of the Polymorphic RPC calculus. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu |
Type-based Enforcement of Infinitary Trace Properties for Java. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gaspard Férey, Jean-Pierre Jouannaud |
Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
The Machinery of Interaction. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Luca Ciccone, Luca Padovani |
A Dependently Typed Linear π-Calculus in Agda. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Abhiroop Sarkar, Mary Sheeran |
Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Franco Barbanera, Ugo de'Liguoro |
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paul Downen, Zena M. Ariola |
A Computational Understanding of Classical (Co)Recursion. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Vytiniotis |
Declarative abstractions for tensor program partitioning. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mallku Soldevila, Beta Ziliani, Daniel Fridlender |
Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Barenbaum, Eduardo Bonelli |
Rewrites as Terms through Justification Logic. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020 |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gonzague Yernaux, Wim Vanhoof, Laurent Schumacher |
Moulinog: A Generator of Random Student Assignments Written in Prolog. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Beidi Li, Jochen Teizer, Carl Schultz 0001 |
Non-monotonic Spatial Reasoning for Safety Analysis in Construction. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maja H. Kirkeby, Robert Glück |
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dylan McDermott, Maciej Piróg, Tarmo Uustalu |
Degrading Lists. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick |
Proof-Carrying Plans: a Resource Logic for AI Planning. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz |
Continuous Verification of Machine Learning: a Declarative Programming Approach. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, János Varga |
Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Das, Frank Pfenning |
Verified Linear Session-Typed Concurrent Programming. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ulysse Gérard, Dale Miller 0001, Gabriel Scherer |
Functional programming with λ-tree syntax. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Phillip Mates, Jamie Perconti, Amal Ahmed 0001 |
Under Control: Compositionally Correct Closure Conversion with Mutable State. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Komendantskaya (eds.) |
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Guerric Chupin, Henrik Nilsson |
Functional Reactive Programming, restated. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001 |
10 Years of the Higher-Order Model Checking Project (Extended Abstract). |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen |
Sharing Equality is Linear. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Talbot |
Spacetime Programming: A Synchronous Language for Composable Search Strategies. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ben Lippmeier, Amos Robinson, Andrae Muys |
Smart Contracts as Authorized Production Rules. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001 |
Intrinsically-Typed Mechanized Semantics for Session Types. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gian Pietro Farina, Stephen Chong, Marco Gaboardi |
Relational Symbolic Execution. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Blanco, Dale Miller 0001, Alberto Momigliano |
Property-Based Testing via Proof Reconstruction. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001, Renato Neves |
An Adequate While-Language for Hybrid Computation. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nachiappan Valliappan, Alejandro Russo |
Exponential Elimination for Bicartesian Closed Categorical Combinators. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Horatiu Cirstea, Pierre-Etienne Moreau |
Generic Encodings of Constructor Rewriting Systems. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel |
Exception Handling and Classical Logic. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kentaro Kikuchi, Takahito Aoto 0001, Isao Sasano |
Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
Foundations of Session Types: 10 Years Later. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001, Christian Sattler |
Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Brown 0002, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra |
Type-Driven Verification of Non-functional Properties. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu, Saksham Chand, Scott D. Stoller |
Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen |
Crumbling Abstract Machines. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tim Steenvoorden, Nico Naus, Markus Klinik |
TopHat: A formal foundation for task-oriented programming. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Adelsberger, Anton Setzer, Eric Walkingshaw |
Declarative GUIs: Simple, Consistent, and Verified. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Nishida 0001, Atsushi Igarashi |
Nondeterministic Manifest Contracts. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Madsen, Ondrej Lhoták |
Implicit Parameters for Logic Programming. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Kai Stadtmüller |
Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera |
An Internalist Approach to Correct-by-Construction Compilers. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chung-chieh Shan |
Calculating Distributions. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Verifying Fail-Free Declarative Programs. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Falco Nogatz, Jona Kalkus, Dietmar Seipel |
Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters: System Description. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Danil Annenkov, Martin Elsman |
Certified Compilation of Financial Contracts. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini |
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|