Confinement properties for programming languages | ACM SIGACT News | DeepDyve