Pages that link to "Item:Q1974455"
From MaRDI portal
The following pages link to Partial evaluation of computation process -- an approach to a compiler-compiler (Q1974455):
Displayed 10 items.
- Self-generating program specializers (Q407546) (← links)
- Most specific logic programs (Q1356224) (← links)
- Efficient and flexible access control via Jones-optimal logic program specialisation (Q2271897) (← links)
- Fast offline partial evaluation of logic programs (Q2437798) (← links)
- Asymptotic Speedups, Bisimulation and Distillation (Work in Progress) (Q3455068) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)
- Binding-time analysis for both static and dynamic expressions (Q5957057) (← links)
- Program transformation system based on generalized partial computation (Q5957059) (← links)
- A portable approach to dynamic optimization in run-time specialization (Q5957060) (← links)
- Principles of staged static+dynamic partial analysis (Q6164422) (← links)