Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Dario Colazzo, Carlo Sartiani |
An efficient algorithm for XML type projection. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Germán Puebla, Claudio Ochoa |
Poly-controlled partial evaluation. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
control rules, optimization, partial evaluation |
1 | Annalisa Bossi, Michael J. Maher (eds.) |
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy |
PPDP |
2006 |
DBLP BibTeX RDF |
|
1 | Coen De Roover, Johan Brichau, Theo D'Hondt |
Combining fuzzy logic and behavioral similarity for non-strict program validation. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
logic meta programming, quality assurance of object-oriented programs, program analysis, points-to analysis, fuzzy logic programming, program validation |
1 | Eugen-Nicolae Volanschi |
Condate: a proto-language at the confluence between checking and compiling. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
compilers, customization, declarative languages, program checking |
1 | Pedro Barahona, Amy P. Felty (eds.) |
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal |
PPDP |
2005 |
DBLP BibTeX RDF |
|
1 | Giuseppe Castagna, Alain Frisch |
A gentle introduction to semantic subtyping. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
negation types, typing, subtyping, intersection, union |
1 | Stephen-John Craig, Michael Leuschel |
Self-tuning resource aware specialisation for prolog. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Echahed, Frédéric Prost |
Security policy in a declarative style. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
confidentiality, non-interference |
1 | Christian Skalka |
Trace effects and object orientation. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
temporal program logic, type and effect, type constraints |
1 | Xuan Li, Lunjin Lu |
Inverting abstract unification for set-sharing. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
maximal models and Boolean formulas, set-sharing, logic programs, backward analysis |
1 | Daniel Luna, Mikael Pettersson, Konstantinos Sagonas |
Efficiently compiling a functional language on AMD64: the HiPE experience. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
AMD64, functional programming, erlang |
1 | John C. Mitchell |
Security analysis of network protocols: logical and computational methods. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
security, network, protocols |
1 | Aaron Tomb, Cormac Flanagan |
Automatic type inference via partial evaluation. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
applications of declarative programming, logic programming, program analysis, type systems |
1 | Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta 0001, Miao Liu |
Optimization with mode-directed preferences. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
preference logic programming, tabled prolog, mode |
1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
parallelism, bioinformatics, constraint logic programming |
1 | Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles |
Formal validation of pattern matching code. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
multi-match, verified code, compilation, pattern matching, term rewriting |
1 | Maribel Fernández, Murdoch Gabbay |
Nominal rewriting with name generation: abstraction vs. locality. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
?-conversion, first and higher-order rewriting, name generation, locality, confluence, binders |
1 | Louis Mandel, Marc Pouzet |
ReactiveML: a reactive extension to ML. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
semantics, functional programming, reactive programming |
1 | Yuki Chiba, Takahito Aoto 0001, Yoshihito Toyama |
Program transformation by templates based on term rewriting. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
inductive theorem proving, tree homomorphism, program transformation, term rewriting |
1 | Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins |
Monadic concurrent linear logic programming. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
committed choice concurrency, operational semantics, linear logic |
1 | Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu |
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
resolution strategies, verification, cryptographic protocols, horn clauses |
1 | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
A compositional semantics for CHR. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck |
Abstract interpretation for constraint handling rules. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
abstract interpretation, constraint handling rules |
1 | Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla |
Abstraction carrying code and resource-awareness. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
granularity control, mobile code certification, programming languages, abstract interpretation, program verification, distributed programming, program debugging, cost analysis, resource awareness |
1 | Murdoch Gabbay |
A new calculus of contexts. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
calculi of contexts, lambda-calculi, nominal techniques, functional programming, binders |
1 | Diptikalyan Saha, C. R. Ramakrishnan 0001 |
Incremental and demand-driven points-to analysis using logic programming. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
demand-drive analysis, logic programming, pointer analysis, incremental analysis |
1 | Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat |
Timed constraint programming: a declarative approach to usage control. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
constraints, role-based access control, trust management, reactive systems, usage control |
1 | Pawel T. Wojciechowski |
Isolation-only transactions by typing and versioning. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
declarative synchronization, singleton kinds, concurrency, programming languages, transactions, lambda calculus, type theory, isolation, abstract types |
1 | Konstantinos Sagonas, Peter J. Stuckey |
Just enough tabling. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
suspension/resumption in the WAM, logic programming, pruning, tabling |
1 | Manuel Serrano, Frédéric Boussinot, Bernard P. Serpette |
Scheme fair threads. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
concurrency, scheme, threads, functional languages |
1 | Eugenio Moggi, David Scott Warren (eds.) |
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy |
PPDP |
2004 |
DBLP BibTeX RDF |
|
1 | Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello |
Event choice datalog: a logic programming language for reasoning in multiple dimensions. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
knowledge representation, logic programming |
1 | Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal |
A semantics for tracing declarative multi-paradigm programs. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
semantics, tracing, functional logic programming |
1 | Maribel Fernández, Murdoch Gabbay, Ian Mackie |
Nominal rewriting systems. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
?-conversion, first and higher-order rewriting, binders |
1 | Yannis Smaragdakis |
Invited talk: program generators and the tools to make them. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
safety guarantees, meta-programming, program generators |
1 | J. Gregory Morrisett |
Invited talk: what's the future for proof-carrying code? |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Miguel García-Díaz, Susana Nieva |
Providing declarative semantics for HH extended constraint logic programs. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Berndt Farwer, Michael Leuschel |
Model checking object petri nets in prolog. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
model checking, compilation, animation, prolog, object petri nets |
1 | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne |
Characterizing strong normalization in a language with control operators. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
functional programming, continuations, classical logic, intersection type |
1 | José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas |
A logic programming approach to the verification of functional-logic programs. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
verification, logic programming, functional logic programming |
1 | Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato |
Semi-naive evaluation in linear tabling. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
linear tabling, semi-naive evaluation, prolog, recursion, tabling, memoization |
1 | Ehud Shapiro |
Invited talk: injecting life with computers. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
computer diagnosis and therapy, autonomous computers, DNA computing, molecular computers |
1 | Sheila A. McIlraith |
Invited talk: towards declarative programming for web services. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
ontologies, web services, semantic web, OWL, web service composition, automated reasoning |
1 | J. Rajesh, D. Janakiram |
JIAD: a tool to infer design patterns in refactoring. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
facts-base, intent-aspects (IAs), predicate-templates, design pattern (DP), prolog, refactoring, object-oriented systems, rule-base, declarative programming |
1 | Sergio Flesca, Sergio Greco, Ester Zumpano |
Active integrity constraints. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
logic programming, integrity constraints, inconsistent database |
1 | Kohei Honda 0001, Nobuko Yoshida |
A compositional logic for polymorphic higher-order functions. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
compositional logics, polymorphim, types, higher-order functions |
1 | Luigi Liquori, Bernard P. Serpette |
iRho: an imperative rewriting calculus. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
certied software, rewriting-calculus, pattern-matching, types, term rewriting systems, natural semantics |
1 | Dirk Beyer 0001, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Invited talk: the blast query language for software verification. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
software verification, software specification |
1 | Sergio Antoy, Stephen Johnson |
Formalization and abstract implementation of rewriting with nested rules. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
term rewriting systems, non-determinism, narrowing, functional logic programming, block structured |
1 | Sava Krstic, John Matthews |
Semantics of the reFLect language. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Marin, Aart Middeldorp |
New completeness results for lazy conditional narrowing. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
conditional rewriting, narrowing, evaluation strategies |
1 | Sébastien Carlier, J. B. Wells |
Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
expansion variables, type inference, lambda-calculus, intersection types |
1 | Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
A lazy narrowing calculus for declarative constraint programming. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
constraint logic programming, rewrite systems, narrowing, constraint solvers, functional logic programming languages |
1 | Carlos Camarão 0001, Lucília Figueiredo, Cristiano D. Vasconcellos |
Constraint-set satisfiability for overloading. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
constrained polymorphism, constraint-set satisfiability, overloading, type constraints, ad-hoc polymorphism |
1 | Nick Benton, Andrew Kennedy, Claudio V. Russo |
Adventures in interoperability: the SML.NET experience. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
applications of declarative programming, integration of paradigms, programming environments, functional programming |
1 | Bruno Blanchet |
Automatic verification of cryptographic protocols: a logic programming approach. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
logic programming, cryptographic protocols, automatic verification, horn clauses |
1 | Rachid Echahed, Frédéric Prost, Wendelin Serwe |
Statically assuring secrecy for dynamic concurrent processes. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
abstract interpretation, safety, noninterference |
1 | Ferruccio Damiani |
Rank 2 intersection types for modules. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
type inference, separate compilation, principal typings |
1 | Sergio Greco, Ester Zumpano |
On the rewriting and efficient computation of bound disjunctive datalog queries. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
magic-set technique, logic programming, constraints, theory, disjunctive datalog |
1 | Santiago Escobar 0001 |
Refining weakly outermost-needed rewriting and narrowing. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
neededness, term rewriting, lazy evaluation, demandness, parallel evaluation |
1 | Neng-Fa Zhou, Taisuke Sato |
Efficient fixpoint computation in linear tabling. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
linear tabling, prolog, recursion, tabling, optimization techniques, memoization |
1 | Marino Miculan, Ivan Scagnetto |
A framework for typed HOAS and semantics. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
categorical metamodels, metalanguages for syntax and semantics of languages, presheaf categories, typed abstract syntax with variable binding, initial algebra semantics |
1 | Alberto de la Encina, Ricardo Pena |
Formally deriving an STG machine. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
functional programming, operational semantics, abstract machines, compiler verification |
1 | Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur |
Extending arbitrary solvers with constraint handling rules. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
compilation, constraint solvers, constraint handling rules |
1 | Bernard J. Pope, Lee Naish |
Practical aspects of declarative debugging in Haskell 98. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
input and output, printing values, declarative debugging, resource usage |
1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Integrating finite domain constraints and CLP with sets. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
programming with sets, constraint logic programming |
1 | Tom Hirschowitz, Xavier Leroy, J. B. Wells |
Compilation of extended recursion in call-by-value functional languages. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
compilation, semantics, recursion, functional languages |
1 | Yanhong A. Liu, Scott D. Stoller |
From datalog rules to efficient programs with time and space guarantees. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
data structure design, indexed representations, linked representations, optimization, indexing, program transformation, datalog, recursion, tabling, complexity analysis, incremental computation |
1 | Aleksandar Nanevski |
From dynamic binding to state via modal possibility. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
modal lambda-calculus, state, dynamic binding, effect systems |
1 | Mogens Nielsen, Karl Krukow |
Towards a formal notion of trust. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden |
PPDP |
2003 |
DBLP BibTeX RDF |
|
1 | Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny |
Finding all minimal unsatisfiable subsets. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
minimal unsatisfiable subsets, constraint solving |
1 | Andreas Rossberg |
Generativity and dynamic opacity for abstract types. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
generativity, encapsulation, opacity, dynamic typing, abstract types, existential types |
1 | Omid Banyasad, Philip T. Cox |
On translating geometric solids to functional expressions. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
visual logic programming, functional programming, translation, geometric programming, design language |
1 | Sergio Antoy, Bernd Brassel, Michael Hanus |
Conditional narrowing without conditions. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
conditional rewriting, narrowing, functional logic programming, evaluation strategies |
1 | Dinghao Wu, Andrew W. Appel, Aaron Stump |
Foundational proof checkers with small witnesses. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
proof checker, proof-carrying code |
1 | M. Cameron, Maria J. García de la Banda, Kim Marriott, Peter Moulder |
ViMer: a visual debugger for mercury. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
execution trees, incremental tree layout, visualization |
1 | Makoto Hamana |
Term rewriting with variable binding: an initial algebra approach. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
abstract syntax with variable binding, monadic semantics of term rewriting systems, term rewriting systems, higher-order abstract syntax, initial algebra semantics |
1 | Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard |
A functional correspondence between evaluators and abstract machines. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion |
1 | Gopalan Nadathur, Xiaochu Qi |
Explicit substitutions in the reduction of lambda terms. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages |
1 | Rafael del Vado Vírseda |
A demand-driven narrowing calculus with overlapping definitional trees. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
rewrite systems, functional logic programming languages |
1 | Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner |
Simplification and termination of strategies in rule-based languages. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
termination, strategies, rewriting, rule based languages, program simplification |
1 | Neil D. Jones, Arne J. Glenstrup |
Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia |
On the expressive power of temporal concurrent constraint programming languages. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
constraint programming, expressiveness, timed systems |
1 | Catuscia Palamidessi |
Mobile calculi for distributed programming. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gang Chen |
Full integration of subtyping and if-expression. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
if-expression, Java, subtyping, type checking |
1 | Bernhard Gramlich, Salvador Lucas |
Modular termination of context-sensitive rewriting. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
context-sensitive rewriting, modular analysis and construction of programs, modular proofs of termination, program verification, declarative programming, evaluation strategies |
1 | Marco Bozzano, Giorgio Delzanno |
Automated protocol verification in linear logic. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
model checking, linear logic, authentication protocols, bottom-up evaluation |
1 | Marcelo P. Fiore |
Semantic analysis of normalisation by evaluation for typed lambda calculus. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics |
1 | Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner |
System Presentation -- CARIBOO: An induction based proof tool for termination with strategies. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
ELAN, innermost, local strategy, rule based language induction, constraint, termination, rewriting, ordering, narrowing |
1 | Vitaly Lagoon, Peter J. Stuckey |
Precise pair-sharing analysis of logic programs. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
program analysis, sharing |
1 | Alexander V. Shafarenko |
Coercion as homomorphism: type inference in a system with subtyping and overloading. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
type inference, subtyping, overloading, data-parallel programming, array processing |
1 | Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen |
Secure calling contexts for stack inspection. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
constraints, language based security, linear temporal logic, static program analysis, stack inspection |
1 | Karol Ostrovsky, K. V. S. Prasad, Walid Taha |
Towards a primitive higher order calculus of broadcasting systems. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
calculi, semantics, concurrency, broadcasting, programming languages, ethernet |
1 | Janos Sztipanovits, Gabor Karsai |
Generative programming for embedded systems. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Higuchi, Atsushi Ohori |
Java bytecode as a typed term calculus. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
bytecode verifier, type system, type inference, Java bytecode |
1 | Davide Ancona, Giovanni Lagorio, Elena Zucca |
True separate compilation of Java classes. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
object-oriented programming, types, separate compilation |
1 | Jérémie Blanc, Rachid Echahed |
A generic operator over discrete time intervals. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
discrete time intervals, timed term rewrite systems, operational semantics |
1 | |
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002) |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
|