Notice: Unexpected clearActionName after getActionName already called in /var/www/html/includes/context/RequestContext.php on line 338
Claude Marché - MaRDI portal

Claude Marché

From MaRDI portal
(Redirected from Person:1881667)
Person:604391

Available identifiers

zbMath Open marche.claudeMaRDI QIDQ604391

List of research outcomes

PublicationDate of PublicationType
On ground AC-completion2022-12-09Paper
AC-complete unification and its application to theorem proving2022-12-09Paper
https://portal.mardi4nfdi.de/entity/Q51952862019-09-18Paper
A formally verified interpreter for a shell-like programming language2018-12-07Paper
How to get an efficient yet verified arbitrary-precision integer library2018-12-07Paper
Automating the verification of floating-point programs2018-12-07Paper
Instrumenting a weakest precondition calculus for counterexample generation2018-06-27Paper
Rewrite systems for natural, integral, and rational arithmetic2017-11-17Paper
Formal verification of numerical programs: from C annotated programs to mechanical proofs2013-05-16Paper
Hardware-Dependent Proofs of Numerical Programs2011-11-22Paper
A Refinement Methodology for Object-Oriented Programs2011-01-21Paper
Modular inference of subprogram contracts for safety checking2010-11-10Paper
Multi-Prover Verification of Floating-Point Programs2010-09-14Paper
Operational termination of conditional term rewriting systems2009-12-04Paper
Proving operational termination of membership equational programs2009-08-04Paper
Towards Modular Algebraic Specifications for Pointer Programs: A Case Study2009-03-06Paper
Modular and incremental proofs of AC-termination2007-08-24Paper
Mechanically proving termination using polynomial interpretations2006-11-17Paper
Theorem Proving in Higher Order Logics2006-07-06Paper
Algebraic Methodology and Software Technology2005-08-25Paper
The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML2004-10-14Paper
https://portal.mardi4nfdi.de/entity/Q27239092001-07-08Paper
https://portal.mardi4nfdi.de/entity/Q42250641999-06-22Paper
https://portal.mardi4nfdi.de/entity/Q43415501997-11-09Paper
Normalized rewriting: An alternative to rewriting modulo a set of equations1997-01-21Paper
Termination and completion modulo associativity, commutativity and identity1993-01-17Paper
An efficient finite element incompressible Navier-Stokes solver that approximates nonlinear terms with finite differences1993-01-16Paper
THE WORD PROBLEM OF ACD-GROUND THEORIES IS UNDECIDABLE1993-01-16Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Claude Marché