The Size-Change Termination Principle for Constructor Based Languages

Pierre Hyvernat (1)

1 LAMA - Laboratoire de Mathématiques

By keeping track of constructors and destructors inside the arguments of recursive calls, we are able to improve the //size-change termination principle// of Lee, Jones and Ben-Amram. The points of interest are that the new principle is able to ignore impossible compositions and detect which specific sub-arguments decrease even when the whole argument doesn't.

Mots clés: constructor; destructor; termination; size-change termination; ML-style programming language

Domaines: Logique en informatique [cs.LO]; Langage de programmation [cs.PL]

Pierre Hyvernat. The Size-Change Termination Principle for Constructor Based Languages. 2010. ⟨hal-00547440v1⟩