Reasoning about determinacy

This lecture discusses a compositional proof system for establishing determinacy of non-recursive X10 programs using effects.
Comments