External Links

Cite Key

Statistics

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

PDF

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.

Precise and compact modular procedure summaries for heap manipulating programs

Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv. Precise and compact modular procedure summaries for heap manipulating programs. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 567-577, ACM, 2011. [doi]

Authors

Isil Dillig

This author has not been identified. Look up 'Isil Dillig' in Google

Thomas Dillig

This author has not been identified. Look up 'Thomas Dillig' in Google

Alex Aiken

This author has not been identified. Look up 'Alex Aiken' in Google

Mooly Sagiv

This author has not been identified. Look up 'Mooly Sagiv' in Google
runs on