Claude Bolduc

	2010
5		Claude Bolduc, Jules Desharnais, Béchir Ktari: Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings Springer 2010
4		Claude Bolduc, Béchir Ktari: Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra. AMAST 2010: 28-43
	2009
3		Claude Bolduc, Béchir Ktari: Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs. RelMiCS 2009: 44-58
	2008
2		Béchir Ktari, François Lajeunesse-Robert, Claude Bolduc: Solving Linear Equations in *-continuous Action Lattices. RelMiCS 2008: 289-303
	2005
1		Claude Bolduc, Jules Desharnais: Static Analysis of Programs Using Omega Algebra with Tests. RelMiCS 2005: 60-72

Coauthor Index

1	Jules Desharnais	[1] [5]
2	Béchir Ktari	[2] [3] [4] [5]
3	François Lajeunesse-Robert	[2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page