Clone wiki

inf225public / glossary / Static semantics

[Alphabetical Index | Tag Index]

Static semantics

The part of language semantics which is processed at compile time (statically). Often includes constraints that might be part of the syntax, but which is done separately in order to keep the grammar context-free. Includes concepts like Name binding and Typechecking, and is used to eliminate a large class of invalid or erroneous programs. See Static typing.