150 search results - page 13 / 30 » A Unifying View of Functional and Logic Program Specializati... |
110
Voted
AISC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
131
Voted
ICFP
2005
ACM
15 years 9 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...
143
Voted
DAC
1999
ACM
15 years 8 months ago
1999
ACM
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests which can be run at native speeds is becoming a serious proble...
124
Voted
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
139
Voted
AGP
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...