An Algorithm of Generalization in Positive Supercompilation (1995)

Cached

Download Links

by Morten H. Sørensen , Robert Glück
Venue:Proceedings of ILPS'95, the International Logic Programming Symposium
Citations:74 - 2 self