Results 1 -
1 of
1
O ine Narrowing-Driven Specialization in Practice ∗
"... O ine narrowing-driven partial evaluation is a recent technique for the specialization of functional and functional logic programs. In this work, we describe novel control strategies that can be used to design a powerful narrowingdriven partial evaluator. 1 ..."
Abstract
- Add to MetaCart
O ine narrowing-driven partial evaluation is a recent technique for the specialization of functional and functional logic programs. In this work, we describe novel control strategies that can be used to design a powerful narrowingdriven partial evaluator. 1
