Pages that link to "Item:Q2437798"
From MaRDI portal
The following pages link to Fast offline partial evaluation of logic programs (Q2437798):
Displaying 8 items.
- Sonic partial deduction (Q2729912) (← links)
- Fast narrowing-driven partial evaluation for inductively sequential programs (Q2936786) (← links)
- An efficient reasoning method on logic programming using partial evaluation in vector spaces (Q3382822) (← links)
- Fast Offline Partial Evaluation of Large Logic Programs (Q3617434) (← links)
- Partial evaluation in logic programming (Q3988796) (← links)
- Using linear constraints for logic program termination analysis (Q4593032) (← links)
- (Q5015369) (← links)
- Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis (Q5108517) (← links)