Shape analysis in a functional language by using regular languages

  1. Montenegro, M.
  2. Peña, R.
  3. Segura, C.
Journal:
Science of Computer Programming

ISSN: 0167-6423

Year of publication: 2015

Volume: 111

Issue: P1

Pages: 51-78

Type: Article

DOI: 10.1016/J.SCICO.2014.12.006 GOOGLE SCHOLAR lock_openOpen access editor

Sustainable development goals