Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 DOI BibTeX RDF |
|
1 | Carl Eastlund, Matthias Felleisen |
Making induction manifest in modular ACL2. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
theorem provers, acl2, module systems |
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 | 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 | 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 | Hiroshi Unno 0001, Naoki Kobayashi 0001 |
Dependent type inference with interpolants. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
type inference, dependent types |
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 | 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 | 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 | 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 | 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 | 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 | Silvia Clerici, Cristina Zoltan |
A dynamically customizable process-centered evaluation model. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
computation model, functional languages |
1 | Ralf Lämmel |
Scrap your boilerplate: prologically! |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
scrap your boilerplate, prolog, haskell, stratego |
1 | Naoki Kobayashi 0001 |
Model-checking higher-order functions. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
model checking, program verification, higher-order functions, recursion schemes |
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 | 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 | Konstantinos Sagonas, Thanassis Avgerinos |
Automatic refactoring of Erlang programs. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
code cleanup, code simplification, program transformation, refactoring, erlang |
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 | 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 | Vivek Nigam, Dale Miller 0001 |
Algorithmic specifications in linear logic with subexponentials. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
subexponentials, linear logic, proof search |
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 | 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 | Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia 0001, Yitzhak Mandelbaum, Vivek S. Pai, David Walker 0001 |
Language support for processing distributed ad hoc data. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
distributed data sources, declarative language |
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 | Christos Dimoulas, Riccardo Pucella, Matthias Felleisen |
Future contracts. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
software reliability, contracts, behavioral specifications, higher-order functions |
1 | Markus Kaiser 0002, 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 | 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 | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann 0001 |
Relational semantics for effect-based program transformations: higher-order store. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
higher-order store, logical relation, side effect |
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 | 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 | Salvador Lucas, José Meseguer 0001 |
Order-sorted dependency pairs. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
program analysis, termination, term rewriting |
1 | Michael Hanus |
Call pattern analysis for functional logic programs. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
program analysis, functional logic programming |
1 | Rafael Caballero 0001, 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 | Edison Mera, Pedro López-García 0001, 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 | 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 | Christian Schulte 0001, Peter J. Stuckey |
Dynamic variable elimination during propagation solving. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
constraint (logic) programming, analysis, redundancy, constraint propagation |
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 | 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 | 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 | 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 | Paulo F. Silva 0001, 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 | 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 | Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto 0001 |
Model-driven constraint programming. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
constraint modeling languages, model transformation, metamodeling, constraint 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 | Peter Thiemann 0001, Matthias Neubauer |
Macros for context-free grammars. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
|
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 | Sonia Estévez Martín, Antonio J. Fernández 0001, 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 | 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 | Brigitte Pientka, Jana Dunfield |
Programming with proofs and explicit contexts. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
type theory, dependent types, logical frameworks |
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 | Martin Sulzmann, Edmund S. L. Lam |
Parallel execution of multi-set constraint rewrite rules. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
|
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 | 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 | 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 0001, 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 | Salvador Lucas |
Practical use of polynomials over the reals in proofs of termination. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
polynomial orderings, program analysis, termination, term rewriting |
1 | James Cheney, Alberto Momigliano |
Mechanized metatheory model-checking. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
counterexample search, model checking, nominal logic |
1 | Makoto Hamana |
Higher-order semantic labelling for inductive datatype systems. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
categorical semantics, higher-order rewriting, modularity, termination, higher-order abstract syntax, initial algebra semantics |
1 | Chongbing Liu, Enrico Pontelli |
Nonmonotonic inductive logic programming by instance patterns. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
instance patterns, nonmonotonic ilp, specialization |
1 | Isabelle Gnaedig |
Induction for positive almost sure termination. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
constraint, probability, abstraction, termination, narrowing |
1 | Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu |
Efficient trust management policy analysis from rules. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
security, algorithm, access control, time complexity, policy analysis |
1 | Michael Leuschel, Andreas Podelski (eds.) |
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland |
PPDP |
2007 |
DBLP BibTeX RDF |
|
1 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
A simple rewrite notion for call-time choice semantics. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
constructor-based rewriting logic, local bindings, non-determinism calltime choice semantics, sharing, term rewriting systems, functional-logic programming |
1 | Konstantinos Sagonas |
Detecting defects in Erlang programs using static analysis. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Christian Skalka |
Type safe dynamic linking for JVM access control. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
static type analysis, language-based security, bytecode verification, dynamic linking |
1 | Witold Charatonik |
Regular directional types for logic programs. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Josh Berdine |
Local reasoning about storable locks. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Bernd Braßel |
Computing with subspaces. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
rewrite systems, non-determinism, subspaces, functional logic programming languages |
1 | Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo |
Unfolding in CHR. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
program transformation, unfolding, constraint handling rules |
1 | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
User-definable rule priorities for CHR. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
rule priorities, constraint handling rules, execution control |
1 | Roberto M. Amadio, Frédéric Dabrowski |
Feasible reactivity in a synchronous Pi-calculus. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
concurrency, reactivity, resources control |
1 | Nick Benton, Uri Zarfaty |
Formalizing and verifying semantic type soundness of a simple compiler. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
relational para-metricity, separation logic, proof assistants, compiler verification, type soundness |
1 | Michael Hanus |
Putting declarative programming into the web: translating curry to javascript. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
user interfaces, javascript, web programming, functional logic programming, curry |
1 | Brad Lushman, Gordon V. Cormack |
A larger decidable semiunification problem. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
acyclic semiunification, semiunification, decidability |
1 | Musab AlTurki, José Meseguer 0001 |
Real-time rewriting semantics of orc. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude |
1 | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann 0001 |
Relational semantics for effect-based program transformations with dynamic allocation. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
region analysis, program transformation, parametricity, logical relations, type and effect systems |
1 | Alberto de la Encina, Luis Llana, Fernando Rubio 0001, Mercedes Hidalgo-Herrero |
Observing intermediate structures in a parallel lazy functional language. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
parallel functional programming, semantics, debugging |
1 | William C. Benton, Charles N. Fischer |
Interactive, scalable, declarative program analysis: from prototype to implementation. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
tabled prolog, java, logic programming, prototyping, program analysis, bytecodes |
1 | Sebastian Fischer 0001, Herbert Kuchen |
Systematic generation of glass-box test cases for functional logic programs. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
testing, declarative programming, code coverage |
1 | Mikkel Bundgaard, Vladimiro Sassone |
Typed polyadic pi-calculus in bigraphs. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
Bigraphs, bisimulation congruences, foundation of computation, foundations of distributed and mobile systems, relative pushouts, subsorting, typed polyadic ?-calculus, sortings, semantics of concurrency |
1 | Daniele Gorla, Matthew Hennessy, Vladimiro Sassone |
Inferring dynamic credentials for rôle-based trust management. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
logic programming with negation, rôle-based access control, trust-management, inference systems |
1 | Josep Silva, Olaf Chitil |
Combining algorithmic debugging and program slicing. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
algorithmic debugging, program slicing |
1 | Tobias Lindahl, Konstantinos Sagonas |
Practical type inference based on success typings. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
success typings, Erlang, subtyping, constraint-based type inference |
1 | Michael Hanus |
Type-oriented construction of web user interfaces. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
user interfaces, web programming, functional logic programming |
1 | Martin Sulzmann |
Extracting programs from type class proofs. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
proofs are programs principle, overloading, type classes |
1 | Huu-Duc Nguyen, Atsushi Ohori |
Compiling ML polymorphism with explicit layout bitmap. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
type-directed compilation, garbage collection, memory management, polymorphism |
1 | Yosihiro Yuse, Atsushi Igarashi |
A modal type system for multi-level generating extensions with persistent code. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
time-ordered normalization, temporal logic, type systems, modal logic, meta-programming, curry-howard isomorphism |
1 | Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini |
BASS: boxed ambients with safe sessions. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
boxed ambients, session types, ambient calculus |
1 | Maribel Fernández, Fabien Fleutot |
A historic functional and object-oriented calculus. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
functional programming, pattern-matching, objects, types |
1 | Murdoch Gabbay, Aad Mathijssen |
One-and-a-halfth-order logic. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
?-conversion, Fraenkel-Mostowski techniques, meta-variables, nominal terms, first-order logic, higher-order logic |
1 | Tom Schrijvers, Maurice Bruynooghe |
Polymorphic algebraic data type reconstruction. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type |
1 | Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali |
An abductive framework for a-priori verification of web services. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
web services, formal verification, constraints, choreographies, abduction |
1 | Thom W. Frühwirth |
Constraint handling rules: the story so far. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
concurrency, applications, program analysis, constraint programming, constraint solving, executable specification, computational logic, rule-based programming |
1 | Andres Löh, Ralf Hinze |
Open data types and open functions. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
extensible data types, extensible exceptions, extensible functions, mutually recursive modules, functional programming, Haskell, generic programming, expression problem |
1 | Robin Abraham, Martin Erwig |
Type inference for spreadsheets. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
type inference, templates, end-user software engineering |
1 | Isabelle Gnaedig, Hélène Kirchner |
Computing constructor forms with non terminating rewrite programs. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
constructor, abstraction, termination, narrowing, ordering constraint, sufficient completeness |
1 | Dale Miller 0001 |
Collection analysis for Horn clause programs. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
static analysis, linear logic, Horn clauses, proof search |
1 | Ricardo Caferra, Rachid Echahed, Nicolas Peltier |
Rewriting term-graphs with priority. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yutaka Matsuno, Atsushi Ohori |
A type system equivalent to static single assignment. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
type system, compiler optimization, static single assignment form |