[计] semantics of programming language
chéng xù shè jì yǔ yán yǔ yì xué ㄔㄥˊ ㄒㄩˋ ㄕㄜˋ ㄐㄧˋ ㄩˇ ㄧㄢˊ ㄩˇ ㄧˋ ㄒㄩㄝˊ
程序设计语言语义学