Synset
a program that examines other computer programs for syntax errors
<noun.communication>
checking program
semantic pointers
hypernym
program, programme, computer program, computer programme