Patent ID: 7877743

Claim:
A program translation method for translating a source program into an executable program that performs actions specified by said source program, said method comprising steps of: a converting step for converting said source program into a machine language program; an inserting step for inserting notifying instructions for notifying that said notifying instructions have been executed in said machine language program, wherein the inserting step occurs subsequent to the converting step; and a program generating step for generating said executable program from said machine language program in which said notifying instructions are inserted, wherein in said inserting step, said notifying instructions are placed at entry points of each basic block that constitutes said machine language program, and conditional notifying instructions are placed at the entry points of each conditional instruction group and are granted the same condition as each said conditional instruction group, and in said program generating step, identification information for identifying said notifying instructions is granted to each of said notifying instructions.