Therrezinha Fernandes

According to our database, Therrezinha Fernandes authored at least 3 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Describing data flow analysis techniques with Kleene algebra.

Therrezinha Fernandes, Jules Desharnais

Sci. Comput. Program., 2007

A Kleene Algebra Framework for Data Flow Analysis.

Therrezinha Fernandes

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2004

Describing Gen/Kill Static Analysis Techniques with Kleene Algebra.

Therrezinha Fernandes, Jules Desharnais

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004