| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta |
Goal-directed execution of answer set programs. |
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 | Maarten van Emden |
Matrix code. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Kenny Zhuo Ming Lu |
Regular expression sub-matching using partial derivatives. |
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 | Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva |
Automatic synthesis of specifications for first order curry programs. |
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 | 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 | Svetlana Jaksic, Luca Padovani |
Exception handling for copyless messaging. |
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 | 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 | Hayo Thielecke |
Functional semantics of parsing actions, and left recursion elimination as continuation passing. |
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 | Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà, Thom W. Frühwirth |
Compiling CHR to parallel hardware. |
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 | 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 | Ugo Dal Lago, Barbara Petit |
Linear dependent types in a call-by-value scenario. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ornela Dardha, Elena Giachino, Davide Sangiorgi |
Session types revisited. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Guenot |
Nested proof search as reduction in the Lambda-calculus. |
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 | Georg Sauthoff, Stefan Janssen, Robert Giegerich |
Bellman's GAP: a declarative language for dynamic programming. |
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 | Felix Schernhammer, José Meseguer |
Incremental checking of well-founded recursive specifications modulo axioms. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov |
Maintaining distributed logic programs incrementally. |
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 | 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 | Jan Christiansen, Daniel Seidel |
Minimally strict polymorphic functions. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitaly Lagoon |
The challenges of constraint-based test generation. |
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 | Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo |
CLP projection for constraint handling rules. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano |
Graph-transformation verification using monadic second-order logic. |
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 | Andrey Rybalchenko |
Towards automatic synthesis of software verification tools. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sabel, Manfred Schmidt-Schauß |
A contextual semantics for concurrent Haskell with futures. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse |
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. |
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 | 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 | Carl Friedrich Bolz, Michael Leuschel, David Schneider |
Towards a jitting VM for prolog execution. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
logic programming, interpreters, partial evaluation, jit |
| 1 | Paul Fodor, Michael Kifer |
Tabling for transaction logic. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Baillot, Martin Hofmann |
Type inference in intuitionistic linear logic. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Temur Kutsia, Wolfgang Schreiner, Maribel Fernández (eds.) |
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria |
PPDP |
2010 |
DBLP BibTeX RDF |
|
| 1 | Paul Tarau |
Declarative modeling of finite mathematics. |
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 | 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 | 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 | Thierry Martinez |
Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 |
| 1 | Yukiyoshi Kameyama, Asami Tanaka |
Equational axiomatization of call-by-name delimited control. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | Gilles Dowek, Murdoch James Gabbay |
Permissive-nominal logic. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | Thibaut Balabonski |
Optimality for dynamic patterns. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
dynamic patterns, labelled calculi, optimality, pattern matching, sharing |
| 1 | Manuel Serrano |
HSS: a compiler for cascading style sheets. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu |
Graph queries through datalog optimizations. |
PPDP |
2010 |
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 | Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández |
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
hereditary harrop formulas, constraints, prolog, deductive databases, fixpoint semantics, stratification |
| 1 | Amy P. Felty, Alberto Momigliano |
Reasoning with hypothetical judgments and open terms in hybrid. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving |
| 1 | Carl Eastlund, Matthias Felleisen |
Making induction manifest in modular ACL2. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
theorem provers, acl2, module systems |
| 1 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
Foundations of session types. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
communication centered programming, semantic subtyping, testing equivalencies, concurrency, sessions types |
| 1 | Silvia Clerici, Cristina Zoltan |
A dynamically customizable process-centered evaluation model. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
computation model, functional languages |
| 1 | Michael Codish, Samir Genaim, Peter J. Stuckey |
A declarative encoding of telecommunications feature subscription in SAT. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
sat solving, telecommunications feature subscription, declarative modelling |
| 1 | Hiroshi Unno, Naoki Kobayashi |
Dependent type inference with interpolants. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
type inference, dependent types |
| 1 | Rafael del Vado Vírseda |
A higher-order logical framework for the algorithmic debugging and verification of declarative programs. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus |
| 1 | Christos Dimoulas, Riccardo Pucella, Matthias Felleisen |
Future contracts. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
software reliability, contracts, behavioral specifications, higher-order functions |
| 1 | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
Relational semantics for effect-based program transformations: higher-order store. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
higher-order store, logical relation, side effect |
| 1 | Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek Pai, David Walker |
Language support for processing distributed ad hoc data. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
distributed data sources, declarative language |
| 1 | Konstantinos F. Sagonas, Thanassis Avgerinos |
Automatic refactoring of Erlang programs. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
code cleanup, code simplification, program transformation, refactoring, erlang |
| 1 | Ezra Cooper, Philip Wadler |
The RPC calculus. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
location-aware language, trampolined style, programming languages, web programming, continuation-passing style, defunctionalization |
| 1 | Naoki Kobayashi |
Model-checking higher-order functions. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
model checking, program verification, higher-order functions, recursion schemes |
| 1 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A declarative semantics for Bousi~Prolog. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics |
| 1 | Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo |
On the expressive power of priorities in CHR. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
constraint, expressive power |
| 1 | António Porto, Francisco Javier López-Fraguas (eds.) |
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal |
PPDP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Quan Phan, Gerda Janssens |
Path-sensitive region analysis for mercury programs. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
region analysis, region reuse, logic programming, region-based memory management, mercury |
| 1 | Hanne Vlaeminck, Joost Vennekens, Marc Denecker |
A logical framework for configuration software. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
software engineering, knowledge representation, product configuration |
| 1 | Paul Tarau |
An embedded declarative data transformation language. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
computational mathematics, dag and hypergraph encodings, functions and permutations, goedel numberings, hereditarily finite sets, pairing functions, prolog data representations, ranking/unranking bijections, digraph |
| 1 | Vivek Nigam, Dale Miller |
Algorithmic specifications in linear logic with subexponentials. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
subexponentials, linear logic, proof search |
| 1 | Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam |
L2C2: logic-based LSC consistency checking. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
play-tree, logic programming, memoization, live sequence chart (lsc), scenario-based programming |
| 1 | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi |
A framework for abstract interpretation of timed concurrent constraint programs. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi |
| 1 | Ralf Lämmel |
Scrap your boilerplate: prologically! |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
scrap your boilerplate, prolog, haskell, stratego |
| 1 | Sergio Antoy, Michael Hanus |
Set functions for functional logic programming. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
rewrite systems, non-determinism, subspaces, functional logic programming languages |
| 1 | Markus Kaiser, Ralf Lämmel |
An Isabelle/HOL-based model of stratego-like traversal strategies. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
generic functional programming, traversal strategies, domain specific languages, rewriting, isabelle/hol, software transformation, stratego |
| 1 | Malgorzata Biernacka, Dariusz Biernacki |
Context-based proofs of termination for typed delimited-control operators. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
reducibility predicates, type system, continuation-passing style, delimited continuations, reduction semantics |
| 1 | Wolfgang Dvorák, Georg Gottlob, Reinhard Pichler, Stefan Woltran |
Alternation as a programming paradigm. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
integration of paradigms, language extension, alternation |
| 1 | Vasco Thudichum Vasconcelos |
Session types for linear multithreaded functional programming. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
linear type systems, concurrency, functional programming, session types |
| 1 | Brigitte Pientka, Joshua Dunfield |
Programming with proofs and explicit contexts. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
type theory, dependent types, logical frameworks |
| 1 | Olaf Chitil, Thomas Davie |
Comprehending finite maps for algorithmic debugging of higher-order functional programs. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
tracing, declarative debugging |
| 1 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon |
Pattern by example: type-driven visual programming of XML queries. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
functional programming, type systems, visual programming, database programming languages |
| 1 | Paulo F. Silva, José Nuno Oliveira |
'Galculator': functional prototype of a Galois-connection based proof assistant. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
point-free notation, haskell, DSL, Galois connections, proof assistant, GADT |
| 1 | Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto |
Model-driven constraint programming. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
constraint modeling languages, model transformation, metamodeling, constraint programming |
| 1 | Michael Hanus |
Call pattern analysis for functional logic programs. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
program analysis, functional logic programming |
| 1 | Clara Bertolissi, Maribel Fernández |
A rewriting framework for the composition of access control policies. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
distributed systems, access control, security policies, term rewriting |
| 1 | Peter Thiemann, Matthias Neubauer |
Macros for context-free grammars. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")