The parallel implementation of the Astrée static analyzer
The pitfalls of verifying floating-point computations
The RDF Virtual Machine
The Relationship Between Separation Logic and Implicit Dynamic Frames
The Safe Lambda Calculus
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report
The Sketch of a Polymorphic Symphony
The SL synchronous language, revisited
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