On the relation between size-based termination and semantic labelling

Frédéric Blanqui, Cody Roux

We investigate the relationship between two independently developed termination techniques. On the one hand, sized-types based termination (SBT) uses types annotated with size expr…