A type system for safe memory management and its proof of correctness

  1. Montenegro, M.
  2. Peña, R.
  3. Segura, C.
Actas:
PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

ISBN: 9781605581170

Año de publicación: 2008

Páginas: 152-162

Tipo: Aportación congreso

DOI: 10.1145/1389449.1389468 GOOGLE SCHOLAR
Fuente de los datos: Scopus