Improving Homeomorphic Embedding for Online Termination

Abstract

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

Topics

1 Figure or Table

Slides referencing similar topics