семантики языка программирования

Семантика языка программирования — это область лингвистики и информатики, которая изучает значение и интерпретацию программных конструкций.