Semantic errors reconsidered in the procedural light of stack concepts