Modula-2
配列の範囲等の実行時検査が可能である。
手続きや関数を入れ子にできる。
引数は値渡しと参照渡しが使用できる。
手続きや関数の内部で定義された名前はその外部からは参照できない。