English Semantics (computer science) Cited by user Laiwoonsiu on 09 Jan 2022 In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages.