Implicit dynamic frames (0)

by J Smans, B Jacobs, F Piessens
Venue:ACM Trans. Program. Lang. Syst