3 search results - page 1 / 1 » Fast narrowing-driven partial evaluation for inductively seq... |
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
ICFP
1999
ACM
14 years 3 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
ISQED
2002
IEEE
14 years 3 months ago
2002
IEEE
— The inductive characteristics of several types of gridded power distribution networks are described in this paper. The inductance extraction program FastHenry is used to evalua...