computer program used to check the validity or syntactical correctness of a fragment of code or document