SWI-Prolog and the Web

Symbolic Execution for Verification

Symbolic Methods to Enhance the Precision of Numerical Abstract Domains

Symmetric Encapsulated Multi-Methods

Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report)

Syntax and Semantics of Babel-17

Synthesising Choreographies from Local Session Types (extended version)

Systematic Abstraction of Abstract Machines

T2Script Programming Language

Task Frames

TCHR: a framework for tabled CLP

Termination analysis of logic programs using acceptability with general term orders

Termination Casts: A Flexible Approach to Termination with General Recursion

Termination Prediction for General Logic Programs

Test Case Generation for Object-Oriented Imperative Languages in CLP

Testing data types implementations from algebraic specifications

The (Lazy) Functional Side of Logic Programming

The alldifferent Constraint: A Survey

The Associate Principal Astronomer for AI Management of Automatic Telescopes

The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version