programming language semantics

the field concerned with the rigorous mathematical study of the meaning of programming languages

en-US/ˈpɹoʊɡˌɹæmɪŋ ˈlæŋɡwɪd͡ʒ sɪˈmæntɪks/
en-GB/ˈpɹəʊɡɹæmɪŋ ˈlæŋɡwɪd͡ʒ sɪˈmæntɪks/

カテゴリ：

computer scienceprogramming language theorysemantics