A language for defining the syntax and semantics of programming languages; consists of a syntactic metalanguage for defining the syntax of programming and data structures, and a semantic metalanguage which specifies programming language semantics operationally in terms of the computations to which programs give rise during execution.