Deciding Memory Safety for Single-Pass Heap-Manipulating Programs

MLA

Mathur, Umang, et al. Deciding Memory Safety for Single-Pass Heap-Manipulating Programs. 2019. EBSCOhost, https://doi.org/10.1145/3371103.

APA

Mathur, U., Murali, A., Krogmeier, P., Madhusudan, P., & Viswanathan, M. (2019). Deciding Memory Safety for Single-Pass Heap-Manipulating Programs. https://doi.org/10.1145/3371103

Chicago

Mathur, Umang, Adithya Murali, Paul Krogmeier, P. Madhusudan, and Mahesh Viswanathan. 2019. “Deciding Memory Safety for Single-Pass Heap-Manipulating Programs.” doi:10.1145/3371103.