2 search results - page 1 / 1 » Inductive Synthesis of Logic Programs by Composition of Comb... |
LOPSTR
1998
Springer
13 years 8 months ago
1998
Springer
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...
LOPSTR
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is t...