Modular well-definedness analysis for attribute grammars.

Ted Kaminski and Eric Van Wyk,

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

PDF