Transformation of structure-shy programs: applied to XPath queries and strategic functions.

Alcino Cunha, Joost Visser

Browse the full PEPM paper archive.