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