Programming errors in traversal programs over structured data

Programming Finite-Domain Constraint Propagators in Action Rules

Programming for Pioneer 12

Programming Idioms for Transactional Events

Programming system OPAL for analytical theories of celestial mechanics

Programming with Algebraic Effects and Handlers

Programming with Quantum Communication

Projection semantics for rigid loops

Prolog Visualization System Using Logichart Diagrams

Proof rules for purely quantum programs

Properties of Input-Consuming Derivations

Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment

Provenance Traces

Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus

Pure Prolog Execution in 21 Rules

Purely Functional Structured Programming

Pushdown Abstractions of JavaScript

Pushdown Control-Flow Analysis of Higher-Order Programs

Putting Instruction Sequences into Effect