Size-change termination principle
id:
size-change-termination-principle-235-5619525
title:
Size-change termination principle
text:
The size-change termination principle (SCT) guarantees termination for a computer program by proving that infinite computations always trigger infinite descent in data values that are well-founded. Size-change termination analysis utilizes this principle in order to solve the universal halting problem for a certain class of programs. When applied to general programs, the principle is intended to be used conservatively, which means that if the analysis determines that a program is terminating, th
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Size-change_termination_principle
date created:
date modified:
2023-08-13T10:19:01Z
main entity:
{"identifier":"Q55633298","url":"https://www.wikidata.org/entity/Q55633298"}
image:
fields total:
13
integrity:
13