PASCAL（Pascal（パスカル）は、構造化された初期の代表的なプログラミング言語。1970年にスイスのチューリッヒ工科大学のニクラウス・ヴィルト（Niklaus Wirth）により、教育用を目的とし開発された。ALGOLの影響を受けた、厳密な構造化言語仕様である。名前の由来は、世界で最初の機械式計算機を発明したブレーズ・パスカルの名前にちなんだもの。当初、ヴィルト自身がPascalコンパイラをPascal自身で書いて見せその強力さを示した。当時FORTRAN以外のコンパイラは生成される機械語が冗長で最適化が難しいと言われていたが、「言語仕様と最適化は独立した問題である」ことを証明するという目的もあったらしい。構文をシンプルにするためか、サブルーチン（Pascal的には手続き(procedure)ないし関数(function)）は使用に先立って定義しておく必要がある。また、サブルーチンの中に好きなだけ自前の変数、サブルーチン等を定義できるといった、再帰的な構文構造を持つ。さらに、豊富なデータ型と、新しいデータ型を定義できるという特徴も持っている。それまでデータ構造といえば配列くらいしか知らないアマチュアプログラマにとっては、かなり衝撃的な言語であったろうことは想像に難くない）のソースファイルの拡張子。