APA (7th ed.) Citation

Gulavani, B. S., Chakraborty, S., Ramalingam, G., & Nori, A. V. (2011). Bottom-up shape analysis using LISF. ACM transactions on programming languages and systems, 33(5), 1-41. https://doi.org/10.1145/2039346.2039349

Chicago Style (17th ed.) Citation

Gulavani, Bhargav S., Supratik Chakraborty, G. Ramalingam, and Aditya V. Nori. "Bottom-up Shape Analysis Using LISF." ACM Transactions on Programming Languages and Systems 33, no. 5 (2011): 1-41. https://doi.org/10.1145/2039346.2039349.

MLA (9th ed.) Citation

Gulavani, Bhargav S., et al. "Bottom-up Shape Analysis Using LISF." ACM Transactions on Programming Languages and Systems, vol. 33, no. 5, 2011, pp. 1-41, https://doi.org/10.1145/2039346.2039349.