Mesa（メサ）は、Xeroxが1970年代に開発した強い型付けを持つ汎用のプログラミング言語である。Mesa言語は1974年に基本的な言語仕様が決定され、Alto上で処理系が制作された。なお、Altoそのもののソフトウェアは主にBCPLで書かれていた。Xerox StarワークステーションのOSであるPilotはMesaで書かれた。言語の特徴としてはモジュール化、静的な型チェック、並行処理と共有変数のロック・アンロック、シグナル（例外処理）などがある。ニクラウス・ヴィルトは1976年から翌年にかけてパロアルト研究所で過ごした。ヴィルトのLilithワークステーションとModula-2言語はそれぞれAltoとMesaの強い影響を受けている。Java言語のモニタを使った並行処理はMesaに由来する。Mesa言語は大文字と小文字を区別し、大文字のみの識別子は予約されている。予約語や定義ずみの識別子はすべて大文字で書かれる。コメントは -- から行末、または次の -- が現れるまでである。型宣言はPascalとよく似ており、基本型(INTEGER, CARDINAL, BOOLEAN, CHARACTER, LONG INTEGER, LONG CARDINAL, REAL)、数え上げ型、サブレンジ型、配列型、配列記述子（動的配列）型、レコード型、ポインタ型、手続き型などがある。型宣言をすることもできる。Mesaは静的な型付けの言語であるが、それをすりぬけるためのUNSPECIFIED（1ワードの何でもはいる型）とLOOPHOLE組み込み手続きを使った型変換がサポートされている。定義ずみのSTRING型（レコード型へのポインタ）がある。Pascalでいう集合型はないが、範囲を指定する演算子があり、範囲チェックやSELECTの選択肢、FORループの条件などに使うことができる。代入やIF、SELECTなどは文としても式としても存在する。ブロックはBEGINとENDで囲まれ、ALGOLと同様に中で変数などを宣言できる。ほかにループ用のDO..ENDLOOPがある。モジュールは分割コンパイルの単位で、インターフェースモジュールと実装モジュールがあり、これによって異なるモジュールの間で静的な型チェックができるようになった。あるプログラムからモジュールを使用する場合、DIRECTORY節によって使用するモジュールを指定する。実行時には各実装モジュールに対してフレーム（インスタンス）が生成される。NEWを使って実行時にフレームのコピーを生成することもできる。Mesaはコルーチンをサポートしている。PORTという型があり、手続きのように呼びだすことである手続きまたはモジュールから制御を移すことができる。また、FORKを使って手続きを非同期に走らせることもできる。複数のプロセスの排他制御のためにはモニタというモジュールの一種を作り、そこで条件変数を定義することができる。条件変数はNOTIFYすることでロックがかかり、WAITでロックがはずれる。Mesaは単なる言語というだけでなく、デバッガなどを含めたマルチウィンドウのGUI統合開発環境を持っている。この統合開発環境は1980年に作られた。

出典:wikipedia