Monolithic and modular termination analyses for higher-order attribute grammars. Krishnan, L. & Wyk, E. V. Sci. Comput. Program., 96:511-526, 2014.
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
{"_id":"KA4RX2DDjCfqRugW8","bibbaseid":"krishnan-wyk-monolithicandmodularterminationanalysesforhigherorderattributegrammars-2014","downloads":0,"creationDate":"2016-10-11T08:28:54.009Z","title":"Monolithic and modular termination analyses for higher-order attribute grammars.","author_short":["Krishnan, L.","Wyk, E. V."],"year":2014,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/krishnan?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2014-11-20T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Krishnan"],"firstnames":["Lijesh"],"suffixes":[]},{"propositions":[],"lastnames":["Wyk"],"firstnames":["Eric","Van"],"suffixes":[]}],"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","bibtex":"@article{journals/scp/KrishnanW14,\n added-at = {2014-11-20T00:00:00.000+0100},\n author = {Krishnan, Lijesh and Wyk, Eric Van},\n biburl = {http://www.bibsonomy.org/bibtex/2199fc8c0cf1cf801213583a48ee846c3/dblp},\n ee = {http://dx.doi.org/10.1016/j.scico.2014.05.016},\n interhash = {7038f8fa8b34f0f5951cb210d6a53953},\n intrahash = {199fc8c0cf1cf801213583a48ee846c3},\n journal = {Sci. Comput. Program.},\n keywords = {dblp},\n pages = {511-526},\n timestamp = {2015-06-17T22:32:48.000+0200},\n title = {Monolithic and modular termination analyses for higher-order attribute grammars.},\n url = {http://dblp.uni-trier.de/db/journals/scp/scp96.html#KrishnanW14},\n volume = 96,\n year = 2014\n}\n\n","author_short":["Krishnan, L.","Wyk, E. V."],"key":"journals/scp/KrishnanW14","id":"journals/scp/KrishnanW14","bibbaseid":"krishnan-wyk-monolithicandmodularterminationanalysesforhigherorderattributegrammars-2014","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.scico.2014.05.016","Paper":"http://dblp.uni-trier.de/db/journals/scp/scp96.html#KrishnanW14"},"keyword":["dblp"],"downloads":0},"search_terms":["monolithic","modular","termination","analyses","higher","order","attribute","grammars","krishnan","wyk"],"keywords":["dblp"],"authorIDs":[],"dataSources":["xsmEhpcqYQxeyggwv"]}