Introduction
Precise Call Graphs for C Programs with Function Pointers
Syntax-Directed Amorphous Slicing
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems
Desert Island Column