English Semantics (computer science) Cited by user RDBrown on 25 Nov 2017 In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.