Syntactic control of interference (1978)

by J C Reynolds
Venue:In Conf. Record 5th ACM Symp. on Principles of Programming Languages