1318

Last Updated on 03/17/2023 by Sophia

A data flow problem is distributive if the following formula holds for every transfer function f and lattice values a and b.

Prove or disprove that available expressions (Exercise 8) is a distributive data flow problem.