The following pages link to Charles Consel (Q192363):
Displaying 9 items.
- Semantics-directed generation of a Prolog compiler (Q1314540) (← links)
- Specialization scenarios: a pragmatic approach to declaring program specialization (Q1768473) (← links)
- A tour of tempo: a program specializer for the C language (Q1887681) (← links)
- Combining program and data specialization (Q1974449) (← links)
- (Q3046767) (← links)
- (Q4414737) (← links)
- On-line and off-line partial evaluation: semantic specifications and correctness proofs (Q4880487) (← links)
- (Q4994697) (← links)
- Static and dynamic program compilation by interpreter specialization (Q5938701) (← links)