2Stahl et al. [SVEH07] sprechen an dieser Stelle von der statischen Semantik einer Sprache. Dieser Begri&64256; ist jedoch irreführend, da die Einschränkung der Syntax nicht die Semantik (die Bedeutung einer Sprache) betri&64256;t. Daher wird Harel und Rumpe [HR00] folgend der geeignetere Begri&64256; der Kontextbedingungen einer Sprache verwendet (vgl. [HR00, S. 14]).