The following pages link to Julia L. Lawall (Q192364):
Displaying 12 items.
- Specialization scenarios: a pragmatic approach to declaring program specialization (Q1768473) (← links)
- A tour of tempo: a program specializer for the C language (Q1887681) (← links)
- From Sets to Bits in Coq (Q2798253) (← links)
- Optimality and inefficiency: what isn't a cost model of the lambda calculus? (Q2817687) (← links)
- (Q4364387) (← links)
- (Q4518884) (← links)
- (Q4529774) (← links)
- (Q4547548) (← links)
- Automatic Verification of Bossa Scheduler Properties (Q5178992) (← links)
- A foundation for flow-based program matching (Q5261510) (← links)
- On global dynamics of optimal graph reduction (Q5348875) (← links)
- Static and dynamic program compilation by interpreter specialization (Q5938701) (← links)