Space consumption analysis by abstract interpretation: Inference of recursive functions

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

ISSN: 0167-6423

Año de publicación: 2015

Volumen: 111

Número: P3

Páginas: 426-457

Tipo: Artículo

DOI: 10.1016/J.SCICO.2014.04.006 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus