Implementing graph algorithms efficiently in a rule-based language is challenging because pattern matching expensive. In this paper, we present number of linear-time implementations GP 2, an experimental programming based on transformation rules which aims to facilitate program analysis and verification. We focus two classes programs: reduction programs check some property, using depth-first se...