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.

Bottom-up shape analysis using LISF

Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori. Bottom-up shape analysis using LISF. ACM Transactions on Programming Languages and Systems, 33(5):17, 2011. [doi]

Authors

Bhargav S. Gulavani

This author has not been identified. Look up 'Bhargav S. Gulavani' in Google

Supratik Chakraborty

This author has not been identified. Look up 'Supratik Chakraborty' in Google

G. Ramalingam

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

Aditya V. Nori

This author has not been identified. Look up 'Aditya V. Nori' in Google
runs on