Search results for "PPDP"

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

Publications at "PPDP"( http://dblp.L3S.de/Venues/PPDP )