Transformation Techniques for Context-Sensitive Rewrite Systems

Jürgen Giesl and Aart Middeldorp
Journal of Functional Programming 14(4), pp. 379 – 427, 2004.

abstract   BibTeX   PDF   doi:10.1017/S0956796803004945