Modeling Dynamic (De)Allocations of Local Memory for Translation Validationdl.acm.org2 pointsmatt_d2 years ago