Syntactic control of interference (1978)

by John Reynolds
Venue:5th ACM SIGPLAN-SIGACT symposium on Principles of programming languages