语法和语义是定义一个程序设计语言所涉及的两个重要侧面：语法涉及程序文法结构，研究程序设计语言所允许的成分结构形式；而语义则涉及文法上正确的程序的含义，研究语言与其所指对象间的关系。程序设计语言语义是为了指明给出程序设计语言的程序含义。程序设计语言语义一般分为指称语义、操作语义、代数语义和公理语义学。程序设计语言，也称编程语言（programming language），是用来定义计算机程序的形式语言。它是一种被标准化的交流技巧，用来向计算机发出指令。程序设计语言语义为了指明给出程序设计语言的程序含义，研究语言与其所指对象间的关系。