Monolithic and modular termination analyses for higher-order attribute grammars. Krishnan, L. & Wyk, E. V. Sci. Comput. Program., 96:511-526, 2014.
Monolithic and modular termination analyses for higher-order attribute grammars. [link]Link  Monolithic and modular termination analyses for higher-order attribute grammars. [link]Paper  bibtex   
@article{journals/scp/KrishnanW14,
  added-at = {2014-11-20T00:00:00.000+0100},
  author = {Krishnan, Lijesh and Wyk, Eric Van},
  biburl = {http://www.bibsonomy.org/bibtex/2199fc8c0cf1cf801213583a48ee846c3/dblp},
  ee = {http://dx.doi.org/10.1016/j.scico.2014.05.016},
  interhash = {7038f8fa8b34f0f5951cb210d6a53953},
  intrahash = {199fc8c0cf1cf801213583a48ee846c3},
  journal = {Sci. Comput. Program.},
  keywords = {dblp},
  pages = {511-526},
  timestamp = {2015-06-17T22:32:48.000+0200},
  title = {Monolithic and modular termination analyses for higher-order attribute grammars.},
  url = {http://dblp.uni-trier.de/db/journals/scp/scp96.html#KrishnanW14},
  volume = 96,
  year = 2014
}

Downloads: 0