Syntactic control of interference (1978)

by J C Reynolds
Venue:In POPL