The following pages link to Jacques-Henri Jourdan (Q1650958):
Displaying 8 items.
- Sparsity preserving algorithms for octagons (Q1650959) (← links)
- Implementing and reasoning about hash-consed data structures in Coq (Q2351422) (← links)
- Verified compilation of floating-point computations (Q2352505) (← links)
- Validating LR(1) Parsers (Q2892741) (← links)
- The Essence of Higher-Order Concurrent Separation Logic (Q2988664) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- Implementing Hash-Consed Structures in Coq (Q5327368) (← links)
- (Q5875426) (← links)
