Van Wijngaarden Grammar
Van Wijngaarden grammar is a two-level grammar formalism for defining programming language syntax. It uses metarules to generate production rules, enabling context-sensitive constraints like type checking. It was notably used to define ALGOL 68.