External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Manuel Montenegro, Ricardo Pena, Clara Segura. A type system for safe memory management and its proof of correctness. In Sergio Antoy, Elvira Albert, editors, Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain. pages 152-162, ACM, 2008. [doi]

Authors

Manuel Montenegro

This author has not been identified. Look up 'Manuel Montenegro' in Google

Ricardo Pena

This author has not been identified. It may be one of the following persons: Look up 'Ricardo Pena' in Google

Clara Segura

This author has not been identified. Look up 'Clara Segura' in Google
runs on