Parallel Backtracking with Answer Memoing for Independent And-Parallelism

Parallel Instantiation of ASP Programs: Techniques and Experiments

Parametric Compositional Data Types

Parametrizing Program Analysis by Lifting to Cardinal Power Domains

Parsing Reflective Grammars

Parsing Transformative LR(1) Languages

Persistent Queries

Phantom Types and Subtyping

PIDoc: Wiki style Literate Programming for Prolog

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software

Polymorphic Endpoint Types for Copyless Message Passing

Polytool: polynomial interpretations as a basis for termination analysis of Logic programs

Poplar: A Java Extension for Evolvable Component Integration

Portability of Prolog programs: theory and case-studies

Positive Supercompilation for a Higher-Order Call-By-Value Language

Practical Aspects for a Working Compile Time Garbage Collection System for Mercury

Practical Datatype Specializations with Phantom Types and Recursion Schemes

Primitives for Contract-based Synchronization

Probabilistic asynchronous pi-calculus

Probabilistic pointer analysis for multithreaded programs