On the generalized dining philosophers problem
On the Generation of Test Data for Prolog by Partial Evaluation
On the Implementation of GNU Prolog
On the Implementation of the Probabilistic Logic Programming Language ProbLog
On the interaction between sharing and linearity
On the realizability of contracts in dishonest systems
On the tree-transformation power of XSLT
On using Tracer Driver for External Dynamic Process Observation
On Verifying Complex Properties using Symbolic Shape Analysis
Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011
Operator-oriented programming: a new paradigm for implementing window interfaces and parallel algorithms
Optimal Union-Find in Constraint Handling Rules
Optimality in Goal-Dependent Analysis of Sharing
Optimizing Binary Code Produced by Valgrind (Project Report on Virtual Execution Environments Course - AVExe)
Optimizing compilation of constraint handling rules in HAL
Optimizing Queries in a Logic-based Information Integration System
Optimizing real world applications with GCC Link Time Optimization
Organizing the Aggregate: Languages for Spatial Computing
Orthogonal Persistence Revisited
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs