Shape analysis in a functional language by using regular languages.

Manuel Montenegro, Ricardo Pea, Clara Segura

Browse the full PPDP paper archive.