Therrezinha Fernandes

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Therrezinha Fernandes, Jules Desharnais
Describing data flow analysis techniques with Kleene algebra. Sci. Comput. Program. 65 (2) (2007)
Therrezinha Fernandes
A Kleene Algebra Framework for Data Flow Analysis. ASWEC (2007)
Therrezinha Fernandes, Jules Desharnais
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. MPC (2004)