127
click to vote
LOPSTR
1994
Springer
15 years 6 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...