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.
Shape analysis in a functional language by using regular languages. [link]Link  Shape analysis in a functional language by using regular languages. [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