On the Design of a Tool for Supporting the Construction of Logic Programs
On the Design of Generic Static Analyzers for Modern Imperative Languages
On the Expressive Power of First-Order Boolean Functions in PCF
On the expressiveness of single-pass instruction sequences
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