METHOD AND DEVICE FOR PROGRAM CHECK, AND THE PROGRAM AND RECORDING MEDIUM

摘要

PROBLEM TO BE SOLVED: To provide a method and a device for program check which discriminate the stoppability of an irregular sequence sort term rewrite program. SOLUTION: A program check device is provided with a means 112 which converts an irregular sequence sort term rewrite program 10, where all expressions as the check object have the smallest sort, to a regular sequence sort term rewrite program by adding function symbols of the same names having input sort smaller than that of function symbols appearing in the function declaration part to make a new function declaration part and a means 113 which discriminates stoppability of the converted regular sequence sort term rewrite program.