O(1) Reversible Tree Navigation Without Cycles
Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid
Observational semantics of the Prolog Resolution Box Model
OCamlJIT 2.0 - Faster Objective Caml
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
On Algorithms and Complexity for Sets with Cardinality Constraints
On Applying Or-Parallelism and Tabling to Logic Programs
On computing the fixpoint of a set of boolean equations
On Constructor Rewrite Systems and the Lambda-Calculus
On Exponential-Time Completeness of the Circularity Problem for Attribute Grammars
On Generalized Records and Spatial Conjunction in Role Logic
On Global Types and Multi-Party Session
On Quasi-Interpretations, Blind Abstractions and Implicit Complexity
On Redundancy Elimination Tolerant Scheduling Rules
On Role Logic
On Synergy of Metal, Slicing, and Symbolic Execution
On termination of meta-programs
On the behaviours produced by instruction sequences under execution
On the Cooperation of the Constraint Domains H, R and FD in CFLP
On the Correctness of Pull-Tabbing