Therrezinha Fernandes

	2007
3		Therrezinha Fernandes: A Kleene Algebra Framework for Data Flow Analysis. ASWEC 2007: 201-210
2		Therrezinha Fernandes, Jules Desharnais: Describing data flow analysis techniques with Kleene algebra. Sci. Comput. Program. 65(2): 173-194 (2007)
	2004
1		Therrezinha Fernandes, Jules Desharnais: Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. MPC 2004: 110-128

Coauthor Index

1

Jules Desharnais

[1] [2]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page