Probabilistic, modular and scalable inference of typestate specifications
Beckman, Nels E., Nori, Aditya V.Volume:
47
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/2345156.1993524
Date:
August, 2012
File:
PDF, 786 KB
english, 2012