scrambled
scrambled
Concept

Static semantics

Modified just now
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.