Claude Marché

Available identifiers

zbMath Open marche.claudeMaRDI QIDQ604391

List of research outcomes

Publication	Date of Publication	Type
On ground AC-completion	2022-12-09	Paper
AC-complete unification and its application to theorem proving	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5195286	2019-09-18	Paper
Automating the verification of floating-point programs	2018-12-07	Paper
A formally verified interpreter for a shell-like programming language	2018-12-07	Paper
How to get an efficient yet verified arbitrary-precision integer library	2018-12-07	Paper
Instrumenting a weakest precondition calculus for counterexample generation	2018-06-27	Paper
Rewrite systems for natural, integral, and rational arithmetic	2017-11-17	Paper
Formal verification of numerical programs: from C annotated programs to mechanical proofs	2013-05-16	Paper
Hardware-Dependent Proofs of Numerical Programs	2011-11-22	Paper
A refinement methodology for object-oriented programs	2011-01-21	Paper
Modular inference of subprogram contracts for safety checking	2010-11-10	Paper
Multi-prover verification of floating-point programs	2010-09-14	Paper
Operational termination of conditional term rewriting systems	2009-12-04	Paper
Proving operational termination of membership equational programs	2009-08-04	Paper
Towards Modular Algebraic Specifications for Pointer Programs: A Case Study	2009-03-06	Paper
Modular and incremental proofs of AC-termination	2007-08-24	Paper
Mechanically proving termination using polynomial interpretations	2006-11-17	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML	2004-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q2723909	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4225064	1999-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4341550	1997-11-09	Paper
Normalized rewriting: An alternative to rewriting modulo a set of equations	1997-01-21	Paper
Termination and completion modulo associativity, commutativity and identity	1993-01-17	Paper
THE WORD PROBLEM OF ACD-GROUND THEORIES IS UNDECIDABLE	1993-01-16	Paper
An efficient finite element incompressible Navier-Stokes solver that approximates nonlinear terms with finite differences	1993-01-16	Paper

Research outcomes over time

This page was built for person: Claude Marché