Zaynah Dargaye

	2009
3		Zaynah Dargaye, Xavier Leroy: A verified framework for higher-order uncurrying optimizations. Higher-Order and Symbolic Computation 22(3): 199-231 (2009)
	2007
2		Zaynah Dargaye, Xavier Leroy: Mechanized Verification of CPS Transformations. LPAR 2007: 211-225
	2006
1		Sandrine Blazy, Zaynah Dargaye, Xavier Leroy: Formal Verification of a C Compiler Front-End. FM 2006: 460-475

Coauthor Index

1	Sandrine Blazy	[1]
2	Xavier Leroy	[1] [2] [3]

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