METHOD FOR INSPECTING COMPUTER PROGRAM PERMITTING OVERLAP OF OPERATOR AND TYPE OF SHAPING FORM SPECIFICATION

摘要

PURPOSE: A method for inspecting a computer program permitting overlap of an operator and type of a shaping form specification is provided to be effectively and generally use in a computer programming language or a shaping form specification language for permitting the overlap of the operator. CONSTITUTION: Sort environment and operator environment necessary for a type check is constructed from a sort definition portion and an operator definition portion(401, 402). It is confirmed whether a data equality series exists(403). If the data equality series exists, a next data equality series is extracted(404). New variable environment is constructed for actually performing the type check(405). It is checked whether a checked data equality exists(406). If the checked data equality exists, a next data equality is extracted from the data equality series(407) and the type check to a corresponding data equality is performed(408).