Title: Formal specification of programming languages
Subjects: Programming languages (Electronic computers), Semantics, Syntax, Sémantique langage, Programmation, Programmeertalen, Semantik, Métalangage, Syntaxe langage programmation, Programmiersprache, Grammaire langage, Programming languages (electronic computers)