Formal Semantics Language.

A language for compiler writing.

["A Formal Semantics for Computer Languages and its Application in a Compiler-Compiler", J.A. Feldman, CACM 9(1) (Jan 1966)].

[Sammet 1969, p. 641].