FSL

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).