The following pages link to Gilles Muller (Q192366):
Displaying 6 items.
- (Q1583357) (redirect page) (← links)
- Accurate program analyses for successful specialization of legacy system software (Q1583360) (← links)
- (Q4472532) (← links)
- Automatic Verification of Bossa Scheduler Properties (Q5178992) (← links)
- A foundation for flow-based program matching (Q5261510) (← links)
- Static and dynamic program compilation by interpreter specialization (Q5938701) (← links)