Homeomorphic Embedding for Online Termination (1998)

by Michael Leuschel
Venue:STATIC ANALYSIS. PROCEEDINGS OF SAS’98, LNCS 1503
Citations:63 - 9 self

Documents Related by Co-Citation

645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
145 A System For Specialising Logic Programs – J. P. Gallagher - 1991
240 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
1862 Foundations of Logic Programming – J W Lloyd - 1987
64 A general criterion for avoiding infinite unfolding during partial deduction – M Bruynooghe, D De Schreye, B Martens - 1992
573 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
406 Deforestation: transforming programs to eliminate trees – P Wadler - 1988
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
74 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995