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
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