Skip to content
scrambled
Programming Language Theory Concept

Static semantics

Books JourneyProgramming Language Theory Statuslearning Tags
  • semantics

The meaning of programs determinable without execution - type checking, scope resolution, and other compile-time analyses that reject ill-formed programs.

The meaning of programs determinable without execution - type checking, scope resolution, and other compile-time analyses that reject ill-formed programs.