Shape Calculus: Timed Operational Semantics and Well-formedness

SICStus Prolog -- the first 25 years

Simple, Decidable Type Inference with Subtyping

Simplifying Complex Software Assembly: The Component Retrieval Language and Implementation

Simplifying Negative Goals Using Typed Existence Properties

Simulating the Effect of UV Photolysis on Interstellar Ices

Single Time-Stamped Tries for Retroactive Call Subsumption

Singular and Plural Functions for Functional Logic Programming

SIRE: A Simple Interactive Rule Editor for NICBES

Small-step and big-step semantics for call-by-need

Soft Concurrent Constraint Programming

Solving Partial Order Constraints for LPO Termination

Solving the TTC 2011 Compiler Optimization Case with GrGen.NET

Solving the TTC 2011 Reengineering Case with GrGen.NET

Solving the TTC 2011 Reengineering Case with MOLA and Higher-Order Transformations

Solving XCSP problems by using Gecode

Some Issues on Incremental Abstraction-Carrying Code

Some Measurements of Nullable and Non-Nullable Parameter Declarations in Relation to Software Malleability

Soundly Handling Static Fields: Issues, Semantics and Analysis

Soundness, Idempotence and Commutativity of Set-Sharing