English Interference freedom Cited by user DavidGries on 28 Jul 2022 In computer science, interference freedom is a technique for proving partial correctness ofconcurrent programs with shared variables.