| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 |
|
| 1 | Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda |
Cooperation of constraint domains in the TOY system. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
constraint domains and solvers, domain cooperation, functional and logic programming |
| 1 | Yves Bertot, Vladimir Komendantsky |
Fixed point semantics and partial recursion in Coq. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
least fixed point semantics, non-terminating functions, program extraction, the Knaster-Tarski theorem, automated theorem proving |
| 1 | Carlos Olarte, Frank D. Valencia |
The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
first-order linear temporal logic, security protocols, closure operators, concurrent constraint programming |
| 1 | Salvador Lucas, José Meseguer |
Order-sorted dependency pairs. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
program analysis, termination, term rewriting |
| 1 | Sergio Antoy, Elvira Albert (eds.) |
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain |
PPDP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jean-Yves Marion, Romain Péchoux |
Characterizations of polynomial complexity classes with a better intensionality. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
quasi-interpretation, resource upper bounds, sup-interpretation, static analysis |
| 1 | Christian Schulte, Peter J. Stuckey |
Dynamic variable elimination during propagation solving. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
constraint (logic) programming, analysis, redundancy, constraint propagation |
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Similarity-based reasoning in qualified logic programming. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
qualification domains, similarity relations |
| 1 | Hendrik Decker, Davide Martinenghi |
Classifying integrity checking methods with regard to inconsistency tolerance. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
inconsistency tolerance, integrity constraints, integrity checking |
| 1 | Thibaut Feydy, Andreas Schutt, Peter J. Stuckey |
Global difference constraint propagation for finite domain solvers. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
difference logic, propagation, global constraints |
| 1 | Michael Leuschel |
Declarative programming for verification: lessons and outlook. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
model checking, verification, formal methods, animation, logic programming |
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Comparing tag scheme variations using an abstract machine generator. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog |
| 1 | Manuel Montenegro, Ricardo Pena, Clara Segura |
A type system for safe memory management and its proof of correctness. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
safe memory deallocation, type systems |
| 1 | Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten |
Declarative Ajax and client side evaluation of workflows using iTasks. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
Sapl, iData, iTask, generic programming, Ajax, web programming, workflow systems, clean |
| 1 | Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo |
Towards execution time estimation in abstract machine-based languages. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
logic programming, profiling, cost models, cost analysis, resource awareness, execution time estimation |
| 1 | Lunjin Lu |
Inferring precise polymorphic type dependencies in logic programs. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
type dependency, logic programs, abstract interpretation, type inference |
| 1 | Luca Paolini, Mauro Piccolo |
Semantically linear programming languages. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
coherence spaces, continous stable and strongly stable functions, PCF, linear functions |
| 1 | Martin Sulzmann, Edmund S. L. Lam |
Parallel execution of multi-set constraint rewrite rules. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Brad Lushman, Gordon V. Cormack |
A larger decidable semiunification problem. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
acyclic semiunification, semiunification, decidability |
| 1 | Josh Berdine |
Local reasoning about storable locks. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")