Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Olaf Chitil, Andy King, Olivier Danvy (eds.) |
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014 |
PPDP |
2014 |
DBLP BibTeX RDF |
|
1 | Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens |
Experimental Evaluation of a State-Of-The-Art Grounder. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney, Amal Ahmed 0001, Umut A. Acar |
Database Queries that Explain their Work. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Julian Kranz, Axel Simon |
Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Danko Ilik |
Proofs in continuation-passing style: normalization of Gödel's System T extended with sums and delimited control operators: Distilled Tutorial. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Asai, Luminous Fennell, Peter Thiemann 0001, Yang Zhang |
A Type Theoretic Specification of Partial Evaluation. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Ferreira 0001, Brigitte Pientka |
Bidirectional Elaboration of Dependently Typed Programs. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca |
Continuations, Processes, and Sharing. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer |
Parametricity and Proving Free Theorems for Functional-Logic Languages. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy Karczmarczuk |
On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial). |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Lämmel, Andrei Varanovich, Martin Leinberger, Thomas Schmorleiz, Jean-Marie Favre |
Declarative Software Development: Distilled Tutorial. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia |
Efficient computation of program equivalence for confluent concurrent constraint programming. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, Ian Zerny |
A synthetic operational account of call-by-need evaluation. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Louis Mandel, Cédric Pasteur, Marc Pouzet |
Time refinement in a functional synchronous language. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jael Kriener, Andy King, Sandrine Blazy |
Proofs you can believe in: proving equivalences between Prolog semantics in Coq. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bagnara, Fred Mesnard |
Eventual linear ranking functions. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kazutaka Matsuda, Meng Wang 0002 |
Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Edward Robbins 0001, Jacob M. Howe, Andy King |
Theory propagation and rational-trees. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Midtgaard, Norman Ramsey, Bradford Larsen |
Engineering definitional interpreters. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Holdermans |
Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yngve Lamo, Florian Mantz, Adrian Rutle, Juan de Lara |
A declarative and bidirectional model transformation approach based on graph co-spans. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano 0001 |
A parameterized graph transformation calculus for finite graphs with monadic branches. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Akihisa Yamada 0002, Keiichirou Kusakari, Toshiki Sakabe |
Unifying the Knuth-Bendix, recursive path and polynomial orders. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Calautti, Sergio Greco, Irina Trubitsyna |
Detecting decidable classes of finitely ground logic programs with function symbols. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Jedynak, Malgorzata Biernacka, Dariusz Biernacki |
An operational foundation for the tactic language of Coq. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Peña, Tom Schrijvers (eds.) |
15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013 |
PPDP |
2013 |
DBLP BibTeX RDF |
|
1 | John T. O'Donnell |
Extensible sparse functional arrays with circuit parallelism. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Peter J. Stuckey, Antonio Tenorio-Fornes |
Finite type extensions in constraint programming. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joana Côrte-Real, Inês de Castro Dutra, Ricardo Rocha 0001 |
Prolog programming with a map-reduce parallel construct. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Christiansen, Michael Hanus, Fabian Reck 0002, Daniel Seidel |
A semantics for weakly encapsulated search in functional logic programs. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-Évariste Dagand |
Coq: the world's best macro assembler? |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro |
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yuting Wang 0001, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur |
Reasoning about higher-order relational specifications. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Simmons, Ian Zerny |
A logical correspondence between natural semantics and abstract machines. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Andy Jost |
Are needed redexes really needed? |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Montenegro, Ricardo Peña, Clara Segura |
Shape analysis in a functional language by using regular languages. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Edmund S. L. Lam, Iliano Cervesato |
Decentralized execution of constraint handling rules for ensembles. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Stewart 0001, Anindya Banerjee 0001, Aleksandar Nanevski |
Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures. |
PPDP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maarten van Emden |
Matrix code. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hayo Thielecke |
Functional semantics of parsing actions, and left recursion elimination as continuation passing. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bacci 0001, Marco Comini, Marco Antonio Feliú, Alicia Villanueva |
Automatic synthesis of specifications for first order curry programs. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Edmund Soon Lee Lam, Iliano Cervesato |
Modeling datalog fact assertion and retraction in linear logic. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rubén Monjaraz, Julio Mariño |
From the π-calculus to flat GHC. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Macías López, Laura M. Castro, David Cabrero |
Declarative distributed advertisement system for iDTV: an industrial experience. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Svetlana Jaksic, Luca Padovani |
Exception handling for copyless messaging. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Triossi, Salvatore Orlando 0001, Alessandra Raffaetà, Thom W. Frühwirth |
Compiling CHR to parallel hardware. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Enrique Martin-Martin, Juan Rodríguez-Hortalá |
Transparent function types: clearing up opacity. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ornela Dardha, Elena Giachino, Davide Sangiorgi |
Session types revisited. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Barbara Petit |
Linear dependent types in a call-by-value scenario. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs |
Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta 0001 |
Goal-directed execution of answer set programs. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson |
Layered fixed point logic. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman |
Task-oriented programming in a pure functional language. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Madet |
A polynomial time λ-calculus with multithreading and side effects. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño |
A linear concurrent constraint approach for the automatic verification of access permissions. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers, Markus Triska, Bart Demoen |
Tor: extensible search with hookable disjunction. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Danny De Schreye, Gerda Janssens, Andy King (eds.) |
Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012 |
PPDP |
2012 |
DBLP BibTeX RDF |
|
1 | Martin Sulzmann, Kenny Zhuo Ming Lu |
Regular expression sub-matching using partial derivatives. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schneider-Kamp, Michael Hanus (eds.) |
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark |
PPDP |
2011 |
DBLP BibTeX RDF |
|
1 | David Sabel, Manfred Schmidt-Schauß |
A contextual semantics for concurrent Haskell with futures. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dario Colazzo, Carlo Sartiani |
Precision and complexity of XQuery type inference. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 0001 |
Graph-transformation verification using monadic second-order logic. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Rybalchenko |
Towards automatic synthesis of software verification tools. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Guenot |
Nested proof search as reduction in the Lambda-calculus. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Georg Sauthoff, Stefan Janssen, Robert Giegerich |
Bellman's GAP: a declarative language for dynamic programming. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar |
Nitpicking C++ concurrency. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Felix Schernhammer, José Meseguer 0001 |
Incremental checking of well-founded recursive specifications modulo axioms. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rafael del Vado Vírseda, Fernando Pérez Morente |
A modular semantics for higher-order declarative programming with constraints. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet |
Typing control operators in the CPS hierarchy. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tony Bourdier, Horatiu Cirstea |
Symbolic analysis of network security policies using rewrite systems. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Nigam, Limin Jia 0001, Boon Thau Loo, Andre Scedrov |
Maintaining distributed logic programs incrementally. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Escobar 0001, Deepak Kapur, Christopher Lynch, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran, Ralf Sasse |
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bernardo Toninho, Luís Caires, Frank Pfenning |
Dependent session types via intuitionistic linear type theory. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vitaly Lagoon |
The challenges of constraint-based test generation. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie |
Linearity and recursion in a typed Lambda-calculus. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Christiansen, Daniel Seidel |
Minimally strict polymorphic functions. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Haemmerlé, Pedro López-García 0001, Manuel V. Hermenegildo |
CLP projection for constraint handling rules. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Franco Barbanera, Ugo de'Liguoro |
Two notions of sub-behaviour for session-based client/server systems. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
behavioural semantics, client/server interaction, semantics of subtyping, sub-behaviour, coinduction, session types |
1 | Miquel Bofill, Dídac Busquets, Mateu Villaret |
A declarative approach to robust weighted Max-SAT. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
max-sat, robustness |
1 | Yukiyoshi Kameyama, Asami Tanaka |
Equational axiomatization of call-by-name delimited control. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Gacek |
Relating nominal and higher-order abstract syntax specifications. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
higher-order abstract syntax, proof search, nominal logic |
1 | Claus Brabrand, Jakob G. Thomsen |
Typed and unambiguous pattern matching on strings using regular expressions. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
static analysis, pattern matching, type inference, parsing, regular expressions, ambiguity, disambiguation |
1 | Senlin Liang, Michael Kifer |
Deriving predicate statistics in datalog. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
argument dependency, derived predicate statistics, query optimization, cost estimate |
1 | Manuel Serrano |
HSS: a compiler for cascading style sheets. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | K. Tuncay Tekle, Yanhong A. Liu |
Precise complexity analysis for efficient datalog queries. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
demand-driven evaluation, optimization, program transformation, datalog, tabling, complexity analysis |
1 | Sumit Gulwani |
Dimensions in program synthesis. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
deductive synthesis, inductive synthesis, sat solving, smt solving, machine learning, genetic programming, programming by demonstration, belief propagation, programming by examples, probabilistic inference |
1 | Gilles Dowek, Murdoch James Gabbay |
Permissive-nominal logic. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Carl Friedrich Bolz, Michael Leuschel, David Schneider 0001 |
Towards a jitting VM for prolog execution. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
logic programming, interpreters, partial evaluation, jit |
1 | Thierry Martinez |
Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu |
Graph queries through datalog optimizations. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zachary Snow, David Baelde, Gopalan Nadathur |
A meta-programming approach to realizing dependently typed logic programming. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
dependently typed lambda calculi, higher-order logic programming, translation, logical frameworks |
1 | Wolfgang Jeltsch |
Generic record combinators with static type checking. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction |
1 | Florent Jacquemard, Michaël Rusinowitch |
Rewrite-based verification of XML updates. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
hedge automata, static typechecking, xml access control policies, xml updates, term rewriting |
1 | Patrick Baillot, Martin Hofmann 0001 |
Type inference in intuitionistic linear logic. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Asai, Arisa Kitani |
Functional derivation of a virtual machine for delimited continuations. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization |
1 | Paul Tarau |
Declarative modeling of finite mathematics. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina |
On theorem proving for program checking: historical perspective and recent developments. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
combination of theories, rewrite-based theorem proving, speculative inferences, satisfiability modulo theories |
1 | Thibaut Balabonski |
Optimality for dynamic patterns. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
dynamic patterns, labelled calculi, optimality, pattern matching, sharing |
1 | Paul Fodor, Michael Kifer |
Tabling for transaction logic. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof |
Declarative workflows to efficiently manage flexible and advanced business processes. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
declarative workflow, executable specification language, temporal logic, business process management |