CV Accueil - Archive ouverte HAL

	Proving Operational Termination of Membership Equational Programs Francisco Durán , Salvador Lucas , Claude Marché , José Meseguer , Xavier Urbain Higher-Order and Symbolic Computation, 2008, 21 (1-2), pp.59-88 Article dans une revue inria-00431474v1
	Mechanically Proving Termination Using Polynomial Interpretations Evelyne Contejean , Claude Marché , Ana Paula Tomás , Xavier Urbain Journal of Automated Reasoning, 2005, 34 (4), pp.325-363. ⟨10.1007/s10817-005-9022-x⟩ Article dans une revue hal-01984434v1
	The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML Claude Marché , Christine Paulin-Mohring , Xavier Urbain Journal of Logic and Algebraic Programming, 2004, 58 (1-2), pp.89-106. ⟨10.1016/j.jlap.2003.07.006⟩ Article dans une revue hal-01984932v1
	Modular and Incremental Proofs of AC-Termination Claude Marché , Xavier Urbain Journal of Symbolic Computation, 2004, 38 (1), pp.873-897. ⟨10.1016/j.jsc.2004.02.003⟩ Article dans une revue hal-01984429v1

	Mechanically proving termination using polynomial interpretations Evelyne Contejean , Claude Marché , Ana-Paula Tomas , Xavier Urbain [Intern report] 1382, 2006 Rapport inria-00001167v1

Claude Marché