Computing Review Classification System: Programming Languages: Formal Definitions and Theory (D.2.1)

Semantics

Syntax