Improving Homeomorphic Embedding for Online Termination


Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation techniques. It has been recently shown that the homeomorphic embedding relation is strictly more powerful than a large class of involved well-founded approaches. In this paper we… (More)
DOI: 10.1007/3-540-48958-4_11


1 Figure or Table

Slides referencing similar topics