program-proofing Definition Ghost A declaration, variable, statement, etc. that is used only for specification purposes is called ghost.