The UPLNC Compiler: Design and Implementation
The user interfaces for the NRAO-Green Bank Telescope
The Weaves Reconfigurable Programming Framework
The Witness Properties and the Semantics of the Prolog Cut
The Wyoming Infrared Observatory telescope software system
The YAP Prolog System
Thread extraction for polyadic instruction sequences
Three Optimisations for Sharing
Toward an architecture for quantum programming
Toward Functionality Oriented Programming
Towards "Propagation = Logic + Control"
Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning
Towards a Generic Trace for Rule Based Constraint Reasoning
Towards a native toplevel for the OCaml language
Towards a Property Preserving Transformation from IEC 61131-3 to BIP
Towards A Shape Analysis for Graph Transformation Systems
Towards a Study of Meta-Predicate Semantics
Towards a Tool-based Development Methodology for Pervasive Computing Applications
Towards a Unified Framework for Declarative Structured Communications
Towards Applicative Relational Programming