Super Object Oriented Programming
Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling
SWI-Prolog
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