Programming errors in traversal programs over structured data

Ralf Laemmel, Simon Thompson, Markus Kaiser

Traversal strategies á la Stratego (also á la Strafunski and 'Scrap Your Boilerplate') provide an exceptionally versatile and uniform means of querying and transforming deeply nest…