概述
目前,世界上已经开发了近百个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