The following pages link to Sylvain Boulmé (Q1739910):
Displayed 8 items.
- Refinement to certify abstract interpretations: illustrated on linearization for polyhedra (Q1739912) (← links)
- A Coq tactic for equality learning in linear arithmetic (Q1791149) (← links)
- Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra (Q2945626) (← links)
- Certifying Synchrony for Free (Q2996188) (← links)
- A Refinement Methodology for Object-Oriented Programs (Q3067544) (← links)
- Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec# (Q3400952) (← links)
- Intuitionistic Refinement Calculus (Q3612622) (← links)
- Typed Lambda Calculi and Applications (Q5704019) (← links)