Язык программирования Паскаль разработан швейцарским профессором Высшей федеральной технической школы в Цюрихе, Н.Виртом в 1970 году. Затем в него были внесены несколько изменений и в 1979 году язык утвержден в качестве стандартного. Вирт назвал его в честь французского ученого Блеза Паскаля, изобретателя первой счетной машины.
Язык предназначен для решения самых разнообразных задач как деловых, так и игровых: вычислительных, экономических, информационных и т.д.
Паскаль благодаря свей простоте, логичности и эффективности получил широкое распространение во всем мире. Он удовлетворяет требованиям структурного программирования и содержит хороший набор структур данных (простые переменные, массивы, последовательные файлы, множества записи, а также развитые средства построения из них новых типов данных) и позволяет реализовывать более простые и эффективные алгоритмы.
Язык сыграл большую роль в развитии методов аналитического доказательства правильности программ, имеющих фундаментальное значение в современном программировании. При написании программы предпочтение отдается ее надежности. Необходимость описания всех переменных, с одной стороны, приводит к избыточности в программе, а с другой – повышает ее надежность за счет снабжения компилятора информацией, которая используется при проверке согласованности программы без ее выполнения.