Shape analysis in a functional language by using regular languages. Montenegro, M., Peña, R., & Segura, C. Sci. Comput. Program., 111:51-78, 2015. Link Paper bibtex @article{journals/scp/MontenegroPS15,
added-at = {2016-01-13T00:00:00.000+0100},
author = {Montenegro, Manuel and Peña, Ricardo and Segura, Clara},
biburl = {http://www.bibsonomy.org/bibtex/2885cf0cbd3fc7cfea9777aba21cb8c8f/dblp},
ee = {http://dx.doi.org/10.1016/j.scico.2014.12.006},
interhash = {56fb6dcf3cb71603f42a37c11270c44e},
intrahash = {885cf0cbd3fc7cfea9777aba21cb8c8f},
journal = {Sci. Comput. Program.},
keywords = {dblp},
pages = {51-78},
timestamp = {2016-01-14T11:35:54.000+0100},
title = {Shape analysis in a functional language by using regular languages.},
url = {http://dblp.uni-trier.de/db/journals/scp/scp111.html#MontenegroPS15},
volume = 111,
year = 2015
}
Downloads: 0
{"_id":"8K75njE88msJkCP9Q","bibbaseid":"montenegro-pea-segura-shapeanalysisinafunctionallanguagebyusingregularlanguages-2015","downloads":0,"creationDate":"2016-01-26T15:11:02.095Z","title":"Shape analysis in a functional language by using regular languages.","author_short":["Montenegro, M.","Peña, R.","Segura, C."],"year":2015,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/C. Manuel Carlevaro?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2016-01-13T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Montenegro"],"firstnames":["Manuel"],"suffixes":[]},{"propositions":[],"lastnames":["Peña"],"firstnames":["Ricardo"],"suffixes":[]},{"propositions":[],"lastnames":["Segura"],"firstnames":["Clara"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2885cf0cbd3fc7cfea9777aba21cb8c8f/dblp","ee":"http://dx.doi.org/10.1016/j.scico.2014.12.006","interhash":"56fb6dcf3cb71603f42a37c11270c44e","intrahash":"885cf0cbd3fc7cfea9777aba21cb8c8f","journal":"Sci. Comput. Program.","keywords":"dblp","pages":"51-78","timestamp":"2016-01-14T11:35:54.000+0100","title":"Shape analysis in a functional language by using regular languages.","url":"http://dblp.uni-trier.de/db/journals/scp/scp111.html#MontenegroPS15","volume":"111","year":"2015","bibtex":"@article{journals/scp/MontenegroPS15,\n added-at = {2016-01-13T00:00:00.000+0100},\n author = {Montenegro, Manuel and Peña, Ricardo and Segura, Clara},\n biburl = {http://www.bibsonomy.org/bibtex/2885cf0cbd3fc7cfea9777aba21cb8c8f/dblp},\n ee = {http://dx.doi.org/10.1016/j.scico.2014.12.006},\n interhash = {56fb6dcf3cb71603f42a37c11270c44e},\n intrahash = {885cf0cbd3fc7cfea9777aba21cb8c8f},\n journal = {Sci. Comput. Program.},\n keywords = {dblp},\n pages = {51-78},\n timestamp = {2016-01-14T11:35:54.000+0100},\n title = {Shape analysis in a functional language by using regular languages.},\n url = {http://dblp.uni-trier.de/db/journals/scp/scp111.html#MontenegroPS15},\n volume = 111,\n year = 2015\n}\n\n","author_short":["Montenegro, M.","Peña, R.","Segura, C."],"key":"journals/scp/MontenegroPS15","id":"journals/scp/MontenegroPS15","bibbaseid":"montenegro-pea-segura-shapeanalysisinafunctionallanguagebyusingregularlanguages-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.scico.2014.12.006","Paper":"http://dblp.uni-trier.de/db/journals/scp/scp111.html#MontenegroPS15"},"keyword":["dblp"],"downloads":0},"search_terms":["shape","analysis","functional","language","using","regular","languages","montenegro","peña","segura"],"keywords":["dblp"],"authorIDs":[],"dataSources":["KPN3ak3bwBm6iLG2r"]}