The following pages link to Frédéric Loulergue (Q1566917):
Displaying 5 items.
- (Q198010) (redirect page) (← links)
- A calculus of functional BSP programs (Q1566918) (← links)
- A formal semantics of nested atomic sections with thread escape (Q1749114) (← links)
- A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction (Q2879257) (← links)
- Program Calculation in Coq (Q3067474) (← links)
