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

Source-to-source optimizing transformations of Prolog programs based on abstract interpretation

Space guidance evolution - A personal narrative

Specialization of Functional Logic Programs Based on Needed Narrowing