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.

Accurate Shape Analysis for Recursive Data Structures

Francisco Corbera, Rafael Asenjo, Emilio L. Zapata. Accurate Shape Analysis for Recursive Data Structures. In Samuel P. Midkiff, José E. Moreira, Manish Gupta, Siddhartha Chatterjee, Jeanne Ferrante, Jan Prins, William Pugh, Chau-Wen Tseng, editors, Languages and Compilers for Parallel Computing, 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers. Volume 2017 of Lecture Notes in Computer Science, pages 1-15, Springer, 2000. [doi]

Authors

Francisco Corbera

This author has not been identified. Look up 'Francisco Corbera' in Google

Rafael Asenjo

This author has not been identified. Look up 'Rafael Asenjo' in Google

Emilio L. Zapata

This author has not been identified. Look up 'Emilio L. Zapata' in Google
runs on