Shape analysis in a functional language by using regular languages
Actas:
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013
ISBN: 9781450321549
Año de publicación: 2013
Páginas: 251-262
Tipo: Aportación congreso