Modula-2 語言

目前，世界上已經開發了近百個Modula-2編譯系統。歐洲、加拿大、澳大利亞等不少大學已經用Modula一2代替PASCAL語言作為計算機科學系本科生的第一門程序設計課。

1984年英國標準化學會開始進行Modula一2標準化工作，國際標準化工作始於1987年(ISO/IECJICl/SC 22 WG 13)，標準化的一個新穎和重要的方面是首次採用形式化方法，用形式化定義(VDM-SL和擴充的BNF)來表達語言各成分的語法和語義。並伴以自然語言規約語句和註釋。 ^[1] 

Modula一2語言是一種高功效的通用系統程序設計語言，其設計的宗旨之一就是為多處理機系統的程序設計服務。該語言很好地綜合了PASCAL，Modula語言的基本特色。它既可以用來進行完全不依賴具體計算機的高級語言程序設計，又可用於比較低級的關於內部系統的程序設計。特別值得指出的是，Modula一2語言對於併發進程和協同子程序方面的支持，使其更適用於多微處理機系統的通用程序的設計。

Modula一2語言文本篇幅不長，易讀，易懂。編譯程序也不長，它提供了模塊化的結構和簡明的語句。因此用它編寫的程序有很強的表達能力，且易於移植。 ^[2] 

(1)模塊性在Modula一2中，把模塊分成兩個語法成分，即定義性模塊和實現性模塊，並把那些在模塊外可見的對象列在一個明顯的移出表中，在模塊內引用模塊外的對象列在移入表中。Modula一2的模塊設施有利於實現模塊的分別編譯。

(2)良好的控制結構，每個控制結構都以關鍵字結尾，可避免歧義性，減少不必要的“BEGIN”。提供了豐富的循環控制結構。特別引進LOOP和EXIT語句，可以較方便地代替GOTO語句。

(3)輸入輸出功能由一組模塊來實現，這組模塊的層次結構反映了輸入輸出功能的多種抽象級別。

(4)與機器和實現有關的低級設施放在偽模塊SYSTEM中，可在高級語言級上實現。

(5)提供一個層次較高的模塊Processes和協同程序，有利於實現併發處理。 ^[1]