Byron Cook
Shape analysis, for real!
Those of you involved in automatic program verification should take notice of this paper:
On Scalable Shape Analysis
Authored by Hongseok Yang, Oukseh Lee, Cristiano Calcagno, Dino Distefano, Peter O'Hearn
Newer Post
Older Post
Home