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

Speedup of Logic Programs by Binarization and Partial Deduction

Stack-Summarizing Control-Flow Analysis of Higher-Order Programs

Staging Mixed-Initiative Dialogs by Program Generation and Transformation

Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs

Static vs Dynamic SAGAs

Steering Fragments of Instruction Sequences

Step-Indexed Normalization for a Language with General Recursion

Stepping Lazy Programs

Stochastic Simulation of Process Calculi for Biology

Strategic polymorphism requires just two combinators!

Strategic programming on graph rewriting systems

Strategies in PRholog

Stratified Static Analysis Based on Variable Dependencies

Structural Analysis: Shape Information via Points-To Computation

Subclassing errors, OOP, and practically checkable rules to prevent them

Subtyping for F-Bounded Quantifiers and Equirecursive Types (Extended Version)

Success and failure of programming environments - report on the design and use of a graphic abstract syntax tree editor