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) 2019 (22)
Publication types (Num. hits)
inproceedings(495) proceedings(21)
Venues (Conferences, Journals, ...)
PPDP(516)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 655 occurrences of 359 keywords

Results
Found 516 publication records. Showing 516 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ulysse Gérard, Dale Miller 0001, Gabriel Scherer Functional programming with λ-tree syntax. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Phillip Mates, Jamie Perconti, Amal Ahmed Under Control: Compositionally Correct Closure Conversion with Mutable State. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ekaterina 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 PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guerric Chupin, Henrik Nilsson Functional Reactive Programming, restated. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Naoki Kobayashi 0001 10 Years of the Higher-Order Model Checking Project (Extended Abstract). Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen Sharing Equality is Linear. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pierre Talbot Spacetime Programming: A Synchronous Language for Composable Search Strategies. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ben Lippmeier, Amos Robinson, Andrae Muys Smart Contracts as Authorized Production Rules. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Intrinsically-Typed Mechanized Semantics for Session Types. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gian Pietro Farina, Stephen Chong, Marco Gaboardi Relational Symbolic Execution. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roberto Blanco, Dale Miller 0001, Alberto Momigliano Property-Based Testing via Proof Reconstruction. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sergey Goncharov 0001, Renato Neves An Adequate While-Language for Hybrid Computation. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nachiappan Valliappan, Alejandro Russo Exponential Elimination for Bicartesian Closed Categorical Combinators. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Horatiu Cirstea, Pierre-Etienne Moreau Generic Encodings of Constructor Rewriting Systems. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Steffen van Bakel Exception Handling and Classical Logic. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kentaro Kikuchi, Takahito Aoto 0001, Isao Sasano Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani Foundations of Session Types: 10 Years Later. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andreas Abel 0001, Christian Sattler Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christopher Brown 0002, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra Type-Driven Verification of Non-functional Properties. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yanhong A. Liu, Saksham Chand, Scott D. Stoller Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen Crumbling Abstract Machines. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tim Steenvoorden, Nico Naus, Markus Klinik TopHat: A formal foundation for task-oriented programming. Search on Bibsonomy PPDP The full citation details ... 2019 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
1Yuki Nishida, Atsushi Igarashi Nondeterministic Manifest 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
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
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
1Chung-chieh Shan Calculating Distributions. 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
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
1Danil Annenkov, Martin Elsman Certified Compilation of Financial Contracts. 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
1Abhishek Dang, Piyush P. Kurur Verse: An EDSL for Cryptographic Primitives. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
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
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
1Helmut Seidl, Ralf Vogler Three Improvements to the Top-Down Solver. 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
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
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
1Taku Terao Lazy Abstraction for Higher-Order Program Verification. 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
1Maciej Bendkowski, Pierre Lescanne Combinatorics of Explicit Substitutions. 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
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
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
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
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
1Philippa Gardner JaVerT: JavaScript Verification and Testing Framework: Invited Talk. Search on Bibsonomy PPDP The full citation details ... 2018 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
1Olivier Savary Bélanger, Andrew W. Appel Shrink fast correctly! 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
1Beniamino Accattoli, Bruno Barras Environments and the complexity of abstract machines. 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
1Amos Robinson, Ben Lippmeier Machine fusion: merging merges, more or less. 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
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
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
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
1David Sabel Alpha-renaming of higher-order meta-expressions. 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
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
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
1Ulrich Schöpp Defunctionalisation as modular closure conversion. 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
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
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
1Wilmer Ricciotti A core calculus for provenance inspection. 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
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
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
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
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
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
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
1Takahiro Nagao, Naoki Nishida 0001 Proving inductive validity of constrained inequalities. 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
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
1Greg Morrisett Challenges in compiling Coq. 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
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
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
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
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
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
1Stefan Fehrenbach, James Cheney Language-integrated provenance. 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
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
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
1Dale Miller 0001 Proof checking and logic programming. 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
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
1Martin Hofmann 0001 Automatic amortized analysis. 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
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
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
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
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
Displaying result #1 - #100 of 516 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
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