Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. - Therrezinha Fernandes; Jules Desharnais (MPC, 2004)

A Kleene Algebra Framework for Data Flow Analysis. - Therrezinha Fernandes (ASWEC, 2007)

Describing data flow analysis techniques with Kleene algebra. - Therrezinha Fernandes; Jules Desharnais (Sci. Comput. Program., 2007)