The following pages link to Daniel Le Métayer (Q751837):
Displaying 18 items.
- The gamma model and its discipline of programming (Q751838) (← links)
- Compile-time detection of information flow in sequential programs (Q826055) (← links)
- Refining multiset transformers (Q1127515) (← links)
- Structured gamma (Q1818363) (← links)
- (Q2723932) (← links)
- (Q2771738) (← links)
- A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence (Q2999322) (← links)
- IT Security Analysis Best Practices and Formal Approaches (Q3184792) (← links)
- (Q3789055) (← links)
- (Q3790620) (← links)
- (Q3830518) (← links)
- (Q3999576) (← links)
- Continuation-based compilation of functional languages for parallel machines (Q4279253) (← links)
- (Q4281611) (← links)
- (Q4474004) (← links)
- (Q4532081) (← links)
- Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis<sup>†</sup> (Q4880526) (← links)
- Dynamic slicing: a generic analysis based on a natural semantics format (Q4943502) (← links)
