Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Abhishek Dang, Piyush P. Kurur |
Verse: An EDSL for Cryptographic Primitives. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice |
Automatic Reordering for Dataflow Safety of Datalog. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Flavien Breuvart, Ugo Dal Lago |
On Intersection Types and Probabilistic Lambda Calculi. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl, Ralf Vogler |
Three Improvements to the Top-Down Solver. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nick Benton |
Semantic Equivalence Checking for HHVM Bytecode. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David Sabel, Peter Thiemann 0001 (eds.) |
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018 |
PPDP |
2018 |
DBLP BibTeX RDF |
|
1 | Pablo Barenbaum, Eduardo Bonelli, Kareem Mohamed |
Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Taku Terao |
Lazy Abstraction for Higher-Order Program Verification. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, David Sabel, Nils Dallmeyer |
Sequential and Parallel Improvements in a Concurrent Functional Programming Language. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Bendkowski, Pierre Lescanne |
Combinatorics of Explicit Substitutions. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gopalan Nadathur, Yuting Wang 0001 |
Schematic Polymorphism in the Abella Proof Assistant. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales 0001, Manuel V. Hermenegildo |
Static Performance Guarantees for Programs with Runtime Checks. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Genki Sakanashi, Masahiko Sakai |
Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner |
Symbolic Execution for JavaScript. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dmitri Rozplokhas, Dmitri Boulytchev |
Improving Refutational Completeness of Relational Search via Divergence Test. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Philippa Gardner |
JaVerT: JavaScript Verification and Testing Framework: Invited Talk. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Girka, David Mentré, Yann Régis-Gianas |
Verifiable semantic difference languages. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Savary Bélanger, Andrew W. Appel |
Shrink fast correctly! |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Antares Mezzina, Jorge A. Pérez 0001 |
Causally consistent reversible choreographies: a monitors-as-memories approach. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Bruno Barras |
Environments and the complexity of abstract machines. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Serge Abiteboul |
Issues in ethical data management. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Amos Robinson, Ben Lippmeier |
Machine fusion: merging merges, more or less. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marieke Huisman |
A verification technique for deterministic parallel programs. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | José Espírito Santo, Silvia Ghilezan |
Characterization of strong normalizability for a sequent lambda calculus with co-control. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paul Laforgue, Yann Régis-Gianas |
Copattern matching and first-class observations in OCaml, with a macro. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wim Vanhoof, Brigitte Pientka (eds.) |
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017 |
PPDP |
2017 |
DBLP BibTeX RDF |
|
1 | Jacob M. Howe, Edward Robbins 0001, Andy King |
Theory learning with symmetry breaking. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | David Sabel |
Alpha-renaming of higher-order meta-expressions. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nicos Angelopoulos, Jan Wielemaker |
Accessing biological data as Prolog facts. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita |
Conditional narrowing modulo SMT and axioms. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Winant, Jesper Cockx, Dominique Devriese |
Expressive and strongly type-safe code generation. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp |
Defunctionalisation as modular closure conversion. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jacek Chrzaszcz, Aleksy Schubert |
Function definitions for compound values in object-oriented languages. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fred Mesnard, Étienne Payet, Germán Vidal |
Selective unification in constraint logic programming. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Gulwani |
Programming by examples: applications, algorithms, and ambiguity resolution. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa |
Practical evaluation of the Lasp programming model at large scale: an experience report. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wilmer Ricciotti |
A core calculus for provenance inspection. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Roman Barták, Adrien Maillard |
Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, David Sabel |
Unification of program expressions with recursive bindings. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini |
Exploration of language specifications by compilation to first-order logic. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay |
Typechecking protocols with Mungo and StMungo. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nick Benton, Martin Hofmann 0001, Vivek Nigam |
Effect-dependent transformations for concurrent programs. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri |
A framework for easing the development of applications embedding answer set programming. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nataliia Stulova, José F. Morales 0001, Manuel V. Hermenegildo |
Reducing the overhead of assertion run-time checks via static analysis. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Clara Bertolissi, Jean-Marc Talbot, Didier Villevalois |
Analysis of access control policy updates through narrowing. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Takahiro Nagao, Naoki Nishida 0001 |
Proving inductive validity of constrained inequalities. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea |
Actors may synchronize, safely! |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis |
Higher-order logic programming: an expressive language for representing qualitative preferences. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Greg Morrisett |
Challenges in compiling Coq. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Mesnard, Étienne Payet, Wim Vanhoof |
Towards a framework for algorithm recognition in binary code. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin |
Demand-driven incremental object queries. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
Iterated process analysis over lattice-valued regular expressions. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fan Yang, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001, Sonia Santiago |
Strand spaces with choice via a process algebra semantics. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ehrhard, Giulio Guerrieri |
The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Joaquín Arias, Manuel Carro |
Description and evaluation of a generic design to integrate CLP and tabled execution. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Fehrenbach, James Cheney |
Language-integrated provenance. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
Testing of concurrent and imperative software using CLP. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney, Germán Vidal (eds.) |
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Johan Grande, Gérard Boudol, Manuel Serrano |
Jthread, a deadlock-free mutex library. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001 |
Proof checking and logic programming. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Abeer S. Al-Humaimeedy, Maribel Fernández |
Enhancing the specification and verification techniques of multiparty sessions in SOC. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aggelos Giantsios, Nikolaos S. Papaspyrou, Konstantinos Sagonas |
Concolic testing for functional languages. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001 |
Automatic amortized analysis. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Abel Garcia, Cosimo Laneve, Michael Lienhardt |
Static analysis of cloud elasticity. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gall, Thom W. Frühwirth |
A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
On a uniform representation of combinators, arithmetic, lambda terms and types. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers |
From monoids to near-semirings: the essence of MonadPlus and alternative. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roman Barták, Agostino Dovier, Neng-Fa Zhou |
On modeling planning problems in tabled logic programming. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Panos Rondogiannis, Antonis Troumpoukis |
Expressing preferences in logic programming using an infinite-valued logic. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Meiklejohn, Peter Van Roy |
Lasp: a language for distributed, coordination-free programming. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Moreno Falaschi, Elvira Albert (eds.) |
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015 |
PPDP |
2015 |
DBLP BibTeX RDF |
|
1 | Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
Debugging of wrong and missing answers for datalog programs with constraint handling rules. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson |
Computation in focused intuitionistic logic. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot |
Verification by abstract interpretation, soundness and abstract induction. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, David Sabel |
Improvements in a functional core language with call-by-need operational semantics. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chen Chen 0019, Lay Kuan Loh, Limin Jia 0001, Wenchao Zhou, Boon Thau Loo |
Automated verification of safety properties of declarative networking programs. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover |
Detecting concurrency bugs in higher-order programs through abstract interpretation. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thom W. Frühwirth |
A devil's advocate against termination of direct recursion. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Martinez, François Fages, Sylvain Soliman |
Search by constraint propagation. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Louis Mandel, Cédric Pasteur, Marc Pouzet |
ReactiveML, ten years later. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Cano, Camilo Rueda, Hugo A. López 0001, Jorge A. Pérez 0001 |
Declarative interpretations of session-based concurrency. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia |
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Semantics-based generation of verification conditions by program specialization. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Haemmerlé |
On Combining Backward and Forward Chaining in Constraint Logic Programming. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fan Yang, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran |
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen |
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Neron |
Elimination of Square Roots and Divisions by Partial Inlining. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi |
Unveiling and Veiling Information in Programs. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas, José Meseguer 0001 |
Proving Operational Termination of Declarative Programs in General Logics. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Nilsson, Ivan Perez 0001 |
Declarative Game Programming: Distilled Tutorial. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp |
Organising Low-Level Programs using Higher Types. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein |
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Louis Giavitto, José Echeveste |
Real-Time Matching of Antescofo Temporal Patterns. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Takahito Aoto 0001, Sorin Stratulat |
Decision Procedures for Proving Inductive Theorems without Induction. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Douence, Nicolas Tabareau |
Lazier Imperative Programming. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Steven J. Ramsay |
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
On the Preciseness of Subtyping in Session Types. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nataliia Stulova, José F. Morales 0001, Manuel V. Hermenegildo |
Assertion-based Debugging of Higher-Order (C)LP Programs. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Pacheco 0001, Tao Zan, Zhenjiang Hu |
BiFluX: A Bidirectional Functional Update Language for XML. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|