核心语言是指
编程语言本身和相关标准库的总称。核心语言中的标识符称为关键字。标准C运行时库和核心JAVA包是两个内核语言中相关标准库的例子。
编程语言（英语：programming language），是用来定义
计算机程序的
形式语言。它是一种被
标准化的交流技巧，用来向
计算机发出指令。一种计算机语言让
程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。
最早的编程语言是在电脑发明之前产生的，当时是用来控制提花织布机及自动演奏钢琴的动作。在电脑领域已发明了上千不同的编程语言，而且每年仍有新的编程语言诞生。很多编程语言需要用
指令方式说明计算的程序，而有些编程语言则属于
宣告式编程，说明需要的结果，而不说明如何计算。
编程语言的描述一般可以分为
语法及
语义。语法是说明编程语言中，哪些符号或文字的组合方式是正确的，语义则是对于编程的解释。有些语言是用规格文件定义，例如
C语言的规格文件也是
ISO标准中一部分，2011年后的版本为ISO/IEC 9899:2011，而其他55语言（像
Perl）有一份主要的编程语言实现文件，视为是引用实现。
编程语言的标准库是该语言的每种实现中都按例提供的库。在某些情况下，编程语言规格说明中会直接提及该库；另一些情况下，标准库的内容由编程社区中的非正式惯例决定。