The following pages link to (Q3992424):
Displaying 9 items.
- Proving the correctness of recursion-based automatic program transformations (Q671683) (← links)
- Semantics-directed compilation of nonlinear patterns (Q756408) (← links)
- From partial evaluation to mixed computation (Q808274) (← links)
- Essence of generalized partial computation (Q808278) (← links)
- Mixed computation and compilation: New approaches to old problems (Q912601) (← links)
- Mixed computation of Prolog programs (Q1108777) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Category-sorted algebra-based action semantics (Q2638792) (← links)
- (Q4339951) (← links)