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