The following pages link to Claude Marché (Q604391):
Displaying 30 items.
- Modular inference of subprogram contracts for safety checking (Q604392) (← links)
- Mechanically proving termination using polynomial interpretations (Q851142) (← links)
- Operational termination of conditional term rewriting systems (Q1041807) (← links)
- (Q1197298) (redirect page) (← links)
- An efficient finite element incompressible Navier-Stokes solver that approximates nonlinear terms with finite differences (Q1197299) (← links)
- Termination and completion modulo associativity, commutativity and identity (Q1199927) (← links)
- A formally verified interpreter for a shell-like programming language (Q1630019) (← links)
- How to get an efficient yet verified arbitrary-precision integer library (Q1630031) (← links)
- Automating the verification of floating-point programs (Q1630033) (← links)
- Instrumenting a weakest precondition calculus for counterexample generation (Q1648649) (← links)
- (Q1881667) (redirect page) (← links)
- The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML (Q1881670) (← links)
- Formal verification of numerical programs: from C annotated programs to mechanical proofs (Q1949765) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Normalized rewriting: An alternative to rewriting modulo a set of equations (Q2563692) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
- (Q2723909) (← links)
- A Refinement Methodology for Object-Oriented Programs (Q3067544) (← links)
- Hardware-Dependent Proofs of Numerical Programs (Q3100216) (← links)
- Towards Modular Algebraic Specifications for Pointer Programs: A Case Study (Q3608820) (← links)
- THE WORD PROBLEM OF ACD-GROUND THEORIES IS UNDECIDABLE (Q4020283) (← links)
- (Q4225064) (← links)
- (Q4341550) (← links)
- Rewrite systems for natural, integral, and rational arithmetic (Q4594221) (← links)
- On ground AC-completion (Q5055778) (← links)
- AC-complete unification and its application to theorem proving (Q5055849) (← links)
- (Q5195286) (← links)
- Algebraic Methodology and Software Technology (Q5312984) (← links)
- Theorem Proving in Higher Order Logics (Q5477655) (← links)
- Multi-Prover Verification of Floating-Point Programs (Q5747756) (← links)
