The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "PPDP"( http://dblp.L3S.de/Venues/PPDP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/ppdp

Publication years (Num. hits)
1999 (26) 2000 (30) 2001 (23) 2002 (22) 2003 (27) 2004 (27) 2005 (24) 2006 (25) 2007 (24) 2008 (26) 2009 (29) 2010 (24) 2011 (19) 2012 (20) 2013 (27) 2014 (28) 2015 (25) 2016 (20) 2017 (22) 2018 (26)
Publication types (Num. hits)
inproceedings(474) proceedings(20)
Venues (Conferences, Journals, ...)
PPDP(494)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 655 occurrences of 359 keywords

Results
Found 494 publication records. Showing 494 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice Automatic Reordering for Dataflow Safety of Datalog. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abhishek Dang, Piyush P. Kurur Verse: An EDSL for Cryptographic Primitives. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dmitri Rozplokhas, Dmitri Boulytchev Improving Refutational Completeness of Relational Search via Divergence Test. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Sulzmann, Kai Stadtmüller Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Taku Terao Lazy Abstraction for Higher-Order Program Verification. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nick Benton Semantic Equivalence Checking for HHVM Bytecode. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Barenbaum, Eduardo Bonelli, Kareem Mohamed Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Hanus Verifying Fail-Free Declarative Programs. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner Symbolic Execution for JavaScript. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Danil Annenkov, Martin Elsman Certified Compilation of Financial Contracts. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Magnus Madsen, Ondrej Lhoták Implicit Parameters for Logic Programming. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Sabel, Peter Thiemann (eds.) Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018 Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  BibTeX  RDF
1Helmut Seidl, Ralf Vogler Three Improvements to the Top-Down Solver. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chung-chieh Shan Calculating Distributions. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maciej Bendkowski, Pierre Lescanne Combinatorics of Explicit Substitutions. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo Static Performance Guarantees for Programs with Runtime Checks. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gopalan Nadathur, Yuting Wang Schematic Polymorphism in the Abella Proof Assistant. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Genki Sakanashi, Masahiko Sakai Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Falco Nogatz, Jona Kalkus, Dietmar Seipel Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters: System Description. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuki Nishida, Atsushi Igarashi Nondeterministic Manifest Contracts. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera An Internalist Approach to Correct-by-Construction Compilers. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manfred Schmidt-Schauß, David Sabel, Nils Dallmeyer Sequential and Parallel Improvements in a Concurrent Functional Programming Language. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stephan Adelsberger, Anton Setzer, Eric Walkingshaw Declarative GUIs: Simple, Consistent, and Verified. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Flavien Breuvart, Ugo Dal Lago On Intersection Types and Probabilistic Lambda Calculi. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philippa Gardner JaVerT: JavaScript Verification and Testing Framework: Invited Talk. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christopher 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. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita Conditional narrowing modulo SMT and axioms. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fred Mesnard, Étienne Payet, Germán Vidal Selective unification in constraint logic programming. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani Programming by examples: applications, algorithms, and ambiguity resolution. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Beniamino Accattoli, Bruno Barras Environments and the complexity of abstract machines. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amos Robinson, Ben Lippmeier Machine fusion: merging merges, more or less. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thibaut Girka, David Mentré, Yann Régis-Gianas Verifiable semantic difference languages. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Sabel Alpha-renaming of higher-order meta-expressions. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roman Barták, Adrien Maillard Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul Laforgue, Yann Régis-Gianas Copattern matching and first-class observations in OCaml, with a macro. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wilmer Ricciotti A core calculus for provenance inspection. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ulrich Schöpp Defunctionalisation as modular closure conversion. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul Issues in ethical data management. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicos Angelopoulos, Jan Wielemaker Accessing biological data as Prolog facts. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Claudio Antares Mezzina, Jorge A. Pérez Causally consistent reversible choreographies: a monitors-as-memories approach. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Olivier Savary Bélanger, Andrew W. Appel Shrink fast correctly! Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marieke Huisman A verification technique for deterministic parallel programs. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jacek Chrzaszcz, Aleksy Schubert Function definitions for compound values in object-oriented languages. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wim Vanhoof, Brigitte Pientka (eds.) Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017 Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  BibTeX  RDF
1Jacob M. Howe, Edward Robbins, Andy King Theory learning with symmetry breaking. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1José Espírito Santo, Silvia Ghilezan Characterization of strong normalizability for a sequent lambda calculus with co-control. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Winant, Jesper Cockx, Dominique Devriese Expressive and strongly type-safe code generation. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Ehrhard, Giulio Guerrieri The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Clara Bertolissi, Jean-Marc Talbot, Didier Villevalois Analysis of access control policy updates through narrowing. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago Strand spaces with choice via a process algebra semantics. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini Exploration of language specifications by compilation to first-order logic. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea Actors may synchronize, safely! Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Reducing the overhead of assertion run-time checks via static analysis. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis Higher-order logic programming: an expressive language for representing qualitative preferences. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Frédéric Mesnard, Étienne Payet, Wim Vanhoof Towards a framework for algorithm recognition in binary code. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri A framework for easing the development of applications embedding answer set programming. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manfred Schmidt-Schauß, David Sabel Unification of program expressions with recursive bindings. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joaquín Arias, Manuel Carro Description and evaluation of a generic design to integrate CLP and tabled execution. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay Typechecking protocols with Mungo and StMungo. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nick Benton, Martin Hofmann 0001, Vivek Nigam Effect-dependent transformations for concurrent programs. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Greg Morrisett Challenges in compiling Coq. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1James 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 Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa Testing of concurrent and imperative software using CLP. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson Iterated process analysis over lattice-valued regular expressions. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin Demand-driven incremental object queries. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Fehrenbach, James Cheney Language-integrated provenance. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Takahiro Nagao, Naoki Nishida 0001 Proving inductive validity of constrained inequalities. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chen Chen 0019, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo Automated verification of safety properties of declarative networking programs. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Johan Grande, Gérard Boudol, Manuel Serrano Jthread, a deadlock-free mutex library. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christopher Meiklejohn, Peter Van Roy Lasp: a language for distributed, coordination-free programming. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson Computation in focused intuitionistic logic. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Abeer S. Al-Humaimeedy, Maribel Fernández Enhancing the specification and verification techniques of multiparty sessions in SOC. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez Declarative interpretations of session-based concurrency. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, Antonis Troumpoukis Expressing preferences in logic programming using an infinite-valued logic. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paul Tarau On a uniform representation of combinators, arithmetic, lambda terms and types. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth A devil's advocate against termination of direct recursion. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roman Barták, Agostino Dovier, Neng-Fa Zhou On modeling planning problems in tabled logic programming. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Louis Mandel, Cédric Pasteur, Marc Pouzet ReactiveML, ten years later. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover Detecting concurrency bugs in higher-order programs through abstract interpretation. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thierry Martinez, François Fages, Sylvain Soliman Search by constraint propagation. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Patrick Cousot Verification by abstract interpretation, soundness and abstract induction. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Abel Garcia, Cosimo Laneve, Michael Lienhardt Static analysis of cloud elasticity. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers From monoids to near-semirings: the essence of MonadPlus and alternative. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Gall, Thom W. Frühwirth A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Hofmann 0001 Automatic amortized analysis. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Elvira Albert (eds.) Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015 Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  BibTeX  RDF
1Dale Miller 0001 Proof checking and logic programming. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez Debugging of wrong and missing answers for datalog programs with constraint handling rules. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Manfred Schmidt-Schauß, David Sabel Improvements in a functional core language with call-by-need operational semantics. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Semantics-based generation of verification conditions by program specialization. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aggelos Giantsios, Nikolaos S. Papaspyrou, Konstantinos Sagonas Concolic testing for functional languages. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Takahito Aoto 0001, Sorin Stratulat Decision Procedures for Proving Inductive Theorems without Induction. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jerzy Karczmarczuk On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial). Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens Experimental Evaluation of a State-Of-The-Art Grounder. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ralf Lämmel, Andrei Varanovich, Martin Leinberger, Thomas Schmorleiz, Jean-Marie Favre Declarative Software Development: Distilled Tutorial. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Henrik Nilsson, Ivan Perez 0001 Declarative Game Programming: Distilled Tutorial. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Steven J. Ramsay Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 494 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license