Termination Analysis for Higher-Order Attribute Grammars

@inproceedings{Krishnan-Wyk:SLE12,
  author    = {Lijesh Krishnan and
               Eric Van Wyk},
  title     = {Termination Analysis for {Higher-Order} Attribute Grammars},
  booktitle = {SLE},
  pages     = {44--63},
  series    = {LNCS},
  volume    = {7745},
  publisher = {Springer},
  year      = {2012},
  doi       = {10.1007/978-3-642-36089-3\_4},
}