A Sharing Analysis for SAFE

  1. Pena, Ricardo
  2. Segura, Clara
  3. Montenegro, Manuel
Colección de libros:
TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7
  1. Nilsson, H (coord.)

ISSN: 1743-4505

ISBN: 978-1-84150-993-8 978-1-84150-188-8

Año de publicación: 2007

Volumen: 7

Páginas: 109-128

Congreso: 7th Symposium on Trends in Functional Programming (TFP)

Tipo: Aportación congreso