108
click to vote
SIGSOFT
2006
ACM
16 years 3 months ago
2006
ACM
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...