Езици за програмиране (Programming Languages)
Езиците за програмиране (Programming Languages) са формални знакови системи, предназначени за формулиране на инструкции и алгоритми за изпълнение от компютри.
Еволюцията на езиците за програмиране непрекъснато се стреми към повишаване на абстракцията, безопасността на паметта и лесната верификация на коректността на кода.