Termination Analysis for Higher-Order Attribute Grammars.

Lijesh Krishnan and Eric Van Wyk,

Proceedings of 5th the International Conference on Software Language Engineering (SLE 2012), LNCS, vol. 7745, pp. 44-63, Springer Verlag, 2012.

PDF