Pascal est un langage typé, conçu par Wirth [19] en 1972, comme une simplification du langage AlgolW [23], langage précurseur dû aussi à Wirth. Son principe repose sur le typage et une implémentation facile.