Person:604391

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
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
Automating the verification of floating-point programs	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
An efficient finite element incompressible Navier-Stokes solver that approximates nonlinear terms with finite differences	1993-01-16	Paper
THE WORD PROBLEM OF ACD-GROUND THEORIES IS UNDECIDABLE	1993-01-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Claude Marché