Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Izzet Pembeci, Henrik Nilsson, Gregory D. Hager |
Functional reactive robotics: an exercise in principled integration of domain-specific languages. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
robotics, functional programming, domain-specific languages, vision |
1 | Stephen Drape, Oege de Moor, Ganesh Sittampalam |
Transforming the .NET intermediate language using path logic programming. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
compiler optimisations, logic programming, program transformation, program analysis, obfuscation, meta programming |
1 | Zoltan Somogyi, Peter J. Stuckey |
Using the heap to eliminate stack accesses. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
heap cells, stack accesses, stack frames, maximal matching |
1 | David Overton, Zoltan Somogyi, Peter J. Stuckey |
Constraint-based mode analysis of mercury. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
Boolean constraints, mode analysis, modes |
1 | Tom Schrijvers, Bart Demoen |
Combining an improvement to PARMA trailing with trailing analysis. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
PARMA, program analysis, trailing |
1 | Sergio Antoy |
Constructor-Based Conditional Narrowing. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Rychlikowski, Tomasz Truderung |
Polymorphic Directional Types for Logic Programming. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Fairouz Kamareddine, Roel Bloo, Rob Nederpelt |
De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Nässén, Mats Carlsson, Konstantinos Sagonas |
Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Termination of On-Demand Rewriting and Termination of OBJ Programs. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner |
An Implementation of Narrowing Strategies. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Franklyn A. Turbak, J. B. Wells |
Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza |
Model Checking (with) Declarative Programs. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
A Denotational Semantics for Timed Linda. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa Bossi, Nicoletta Cocco, Sabina Rossi |
Termination of Well-Typed Logic Programs. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, Lasse R. Nielsen |
Defunctionalization at Work. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Pena, Fernando Rubio 0001 |
Parallel Functional Programming at Two Levels of Abstraction. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | David A. Naumann |
Ideal Models for Pointwise Relational and State-Free Imperative Programming. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | David A. Schmidt |
Should UML Be Used for Declarative Programming? |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Hernández, David A. Rosenblueth |
Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Slim Abdennadher, Christophe Rigotti |
Using Confluence to Generate Rule-Based Constraint Solvers. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Christian Schulte 0001, Peter J. Stuckey |
When Do Bounds and Domain Propagation Lead to the Same Search Space? |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Louis Giavitto, Olivier Michel 0001 |
Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mark Hepburn, David Wright 0006 |
Trust in the Pi-Calculus. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Byeong-Mo Chang, Jang-Wu Jo |
Granularity of Constraint-Based Analysis for Java. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein, Henning Makholm, Henning Niss |
A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001 |
Types for Cyphers: Thwarting Mischief and Malice with Type Theory. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel, Helko Lehmann |
Solving coverability problems of petri nets by partial deduction. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
program analysis and verification, model checking, petri nets, concurrency, logic programming, abstract interpretation, partial evaluation |
1 | Mauricio Ayala-Rincón, Fairouz Kamareddine |
Unification via se-style of explicit substitution. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
higher order unification, lambda-calculus, explicit substitution |
1 | Jean-Louis Giavitto |
A framework for the recursive definition of data structures. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
recursive definition of data-structures, static analysis of declarative language, vector equations, evaluation strategy |
1 | Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn |
Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich |
Simplifying termination proofs for rewrite systems by preprocessing. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Erik Johansson, Mikael Pettersson, Konstantinos Sagonas |
A high performance Erlang system. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | François Fages |
Concurrent constraint programming and linear logic (abstract). |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus, Frank Steiner |
Type-based nondeterminism checking in functional logic programs. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Xining Li |
Efficient memory management in a merged heap/stack prolog machine. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | John Power, Edmund Robinson |
Logical relations, data abstraction, and structured fibrations. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
cartesian closed fibrations, linear ?-calculus, interpretations, ?-calculus, logical relations |
1 | Grégoire Hamon, Marc Pouzet |
Modular resetting of synchronous data-flow programs. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
hybrid systems, reactive systems, data-flow, functional languages, synchronous language |
1 | Maurizio Gabbrielli, Frank Pfenning (eds.) |
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, Montreal, Canada, September 20-23, 2000 |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Faggian |
Proof construction and non-commutativity: a cluster calculus. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
non-commutative logic, logic programming, linear logic, proof search, focalization |
1 | Martin Hyland, John Power |
Symmetric monoidal sketches. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
action calculi, categories of wirings, symmetric monoidal category, sketch |
1 | Abhik Roychoudhury, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Justifying proofs using memo tables. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Conal Elliott |
Declarative event-oriented programming. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bagnara, Enea Zaffanella, Patricia M. Hill |
Enhanced sharing analysis techniques: a comprehensive evaluation. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
mode analysis, abstract interpretation, sharing analysis |
1 | Jörg Köller, Markus Mohnen |
Efficient abstract interpretation using component-wise homomorphisms. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay Pelov, Maurice Bruynooghe |
Extending constraint logic programming with open functions. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Simona Ronchi Della Rocca |
Operational semantics and extensionality. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Polakow |
Linear logic programming with an ordered context. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
non-commutative logic, logic programming, linear logic, automated deduction |
1 | Adam Bakewell, Colin Runciman |
A model for comparing the space usage of lazy evaluators. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
garbage, heap usage, space leak, functional programming, operational semantics, bisimulation, term-graph rewriting |
1 | Alessandra Di Pierro, Herbert Wiklicky |
Concurrent constraint programming: towards probabilistic abstract interpretation. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
probabilistic abstract interpretation, probabilistic concurrent constraint programming, static analysis |
1 | George C. Necula |
Proof-carrying code: design, implementation and applications (abstract). |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Marco Pedicini, Francesco Quaglia |
A parallel implementation for optimal lambda-calculus reduction. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
optimal reduction, virtual reduction, functional programming, linear logic, lambda calculus, parallel implementation, geometry of interaction |
1 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
A bottom-up semantics for linear logic programs. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi, Isabella Mastroeni |
A characterization of symmetric semantics by domain complementation. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
domain complementation, abstract interpretation, program semantics, concurrent constraint programming |
1 | Eneia Todoran, Nikolaos Papaspyrou |
Continuations for parallel logic programming. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
basic Andorra model, Haskell, continuations, monads, denotational semantics, parallel logic programming |
1 | Lunjin Lu |
A precise type analysis of logic programs. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Prakash Panangaden |
From logic to stochastic processes (abstract only). |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin |
Constraint Programming in OPL. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz |
Parallel Execution Models for Constraint Programming over Finite Domains. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Dante Baldan, Nicola Civran, Gilberto Filé, Francesco Pulvirenti |
A Simple and General Method for Integrating Abstract Interpretation in SICStus. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Enea Zaffanella, Roberto Bagnara, Patricia M. Hill |
Widening Sharing. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo |
Functional Plus Logic Programming with Built-In and Symbolic Constraints. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel 0001 |
Declarative Program Transformation: A Deforestation Case-Study. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Roberta Gori, Giorgio Levi |
On the Verification of Finite Failure. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Fairouz Kamareddine, François Monin |
On Formalised Proofs of Termination of Recursive Functions. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jacinto A. Dávila |
OPENLOG: A Logic Programming Language Based on Abduction. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Vítor Santos Costa |
Optimising Bytecode Emulation for Prolog. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Ian Mackie |
A Calculus for Interaction Nets. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Lunjin Lu, John G. Cleary |
An Operational Semantics of Starlog. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Simon L. Peyton Jones, Norman Ramsey, Fermin Reig |
C--: A Portable Assembly Language that Supports Garbage Collection. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Claudio V. Russo |
Non-dependent Types for Standard ML Modules. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos |
A Virtual Machine for a Process Calculus. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Distributed Programming in a Multi-Paradigm Declarative Language. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Christian Holzbaur, Thom W. Frühwirth |
Compiling Constraint Handling Rules into Prolog with Attributed Variables. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Keiichirou Kusakari, Masaki Nakamura 0001, Yoshihito Toyama |
Argument Filtering Transformation. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Frank Pfenning |
Logical and Meta-Logical Frameworks (Abstract). |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas C. Conway, David Jeffery |
Run Time Type Information in Mercury. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye |
Modular Termination Proofs for Prolog with Tabling. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Neumerkel, Frédéric Mesnard |
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gopalan Nadathur (eds.) |
Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29 - October 1, 1999, Proceedings |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Elena Zucca |
A Primitive Calculus for Module Systems. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Filinski |
A Semantic Account of Type-Directed Partial Evaluation. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|