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 semantics for procedure local heaps and its abstractions

Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm. A semantics for procedure local heaps and its abstractions. In Jens Palsberg, Martín Abadi, editors, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005. pages 296-309, ACM, 2005. [doi]

Authors

Noam Rinetzky

This author has not been identified. Look up 'Noam Rinetzky' in Google

Jörg Bauer

This author has not been identified. Look up 'Jörg Bauer' in Google

Thomas W. Reps

Identified as Thomas W. Reps

Shmuel Sagiv

This author has not been identified. Look up 'Shmuel Sagiv' in Google

Reinhard Wilhelm

This author has not been identified. Look up 'Reinhard Wilhelm' in Google
runs on