Shape analysis in a functional language by using regular languages. Montenegro, M.; Peña, R.; and 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
}