Processing programming traces.