Context-sensitive synchronization-sensitive analysis is undecidable (0)

by G RAMALINGAM
Venue:ACM Trans. Program. Lang. Syst