首页计算机书籍程序设计绿色程序设计语言参考手册 一个应铁人计划要求设计的语言_浙江大学
face

文档

1081

关注

0

好评

0
PDF

绿色程序设计语言参考手册 一个应铁人计划要求设计的语言_浙江大学

阅读 866 下载 0 大小 2.34M 总页数 72 页 2023-03-19 分享
价格:¥ 10.00
下载文档
/ 72
全屏查看
绿色程序设计语言参考手册 一个应铁人计划要求设计的语言_浙江大学
还有 72 页未读 ,您可以 继续阅读 或 下载文档
1、本文档共计 72 页,下载后文档不带www.pdfdz.com水印,支持完整阅读内容。
2、古籍基本都为PDF扫描版,所以文档不支持编辑功能,即不支持文档内文字的复制粘贴。
3、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
4、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。
5、如文档内容存在违规,或者侵犯商业秘密、侵犯著作权等,请点击“违规举报”。
子程序为表达算法的一个基本单元,子程序可以带有参数,用它们和其他程序单元建立联系,绿色语言规定了三类子程序:过程,函数和异常处照。过程子程序是一系列动作的逻辑付本。例如,它可以读入数据,修改变量,或者产生输出。函数子程序是计算出一个值的数学函数的逻辑副本,与过程不同的是,函数不能有付作用。异常子程序是为了在程序执行期阁处琿可能动态发生的特殊情况,如算术溢出,断言不成立,或者由用户定义的异常情况。定义模块也是一个基本单元,用之来联结逻辑上有关的实体。定义棋块部分可以由用户隐藏起来,因此仅允许访问定义模块表示的逻辑性质,·例如定义一模块可用来决定数据和类型的公共池,有关的子程序包,或在一个新的封闭类型的浆巢。路径是定义并发计算的基本单元。路径可以在多处理机上执行,也以在单处理机上交替执行来实现。各路径之间的通讯是通过各路径中的信箱来进行,信箱可使各路径同步和传递数据。每个程序单元通常由两部分组成:说明部分:决定在程序单元中使用的逻辑实体;语句表部分:决定程序单元的执行。说明部分将名与说明的实体相联系。名可以表示一个类型、一个常继、或一个变量。说明部分也引入其它子程序名和参数,路径和在程序单元中使用的定义模块。语句描述执行的动作。赋值语句将变量的当前值用一个新值来替代。子程序调用语句,在根据调用者提供的自变鼠与相应子程序的形式参数联系起来以后执行该子程序。如果语句和情况语句根据语句首部的条件或表达式的值在一组语句中进行选择。断言语句指出无论何时在程序到达控制点时,必须成立的一个正确性条件。异常语句明显地提出异常子程序的动作所婴求的特定状态。在语言中基本的机械性重复是循环语句。循环语句确定一组要重复执行的语句直到源复的条件被执行完,或在遇到循环出口语句为止。某些语句仅用于路径中。内部语句规定一组可以开始执行的路径。连接语句规定一路径和其他路径通过信箱准备连接。局部路径请求规定一路径,它准备连接到其他路径。无论何时局部路径请求和连接语句都婴实现会合,产生任何一个规定的数据传送,局部路径和连接路径可以继续。语言中每个元素均有一类型,蹦定了它的逻辑性质,也决定了可能执行的操作。有两种基本类型:纯量型和组合型。纯登型INTEGER、BOOLEAN和CHARACTFR是预定义的。标度数型为进行精确的数值计算提供了工具。实型提供浮点计算的工具,它有必要的近似值。枚举型为用户提供了确定与离散值有关的问题的工县。组合型可以定义有关元素的结构化的汇总。在语言中,组合型有数组结构、纪录结构和对记录结构的访问,后者是动态分配的。一族记录结构可以通过一带变体部分的记录类型予以定义。从类型概念可以引伸出子类型概念,从而用户可以限制于类型中一组可允许的值。子类型可用来定义纯量的子减,或一定范围下标值的数组,或者特殊变体记录。表示法的特征可以用来规定数据类型与基本机器之间的映照。例如,用产可·以规定,数组可以表示成装配格式,已知类型的目标必须用规定个数的位来表示,或者记录分量用规定的存储格式来表示。最后,语言为条件编译和属类型程序单元提供可能性。在最初的PASCAL报告中,Niklaus Wirth写道“在一个新的语言中舍弃一些什么实际上比包含什么更为关键。决定舍弃一些特征时,不仅需要通晓这些特征,(并需知道缺少它时如何工作),而且由于这些特征已存在于其它的现有语言中,要有由于缺少它们而面对着不可避免的批评的勇气”。在我们设计语言时也存在这个问题,尽管铁人计划而比通常情况来的小些。这个要求经常简化设计过程以使我们集中到按规定的良好目标而进行的逻辑系统的设计中,而不是花在确定目标本身上。我们设计工作较简单的另一原因由于在我们以前,根据类似的目标,已有数个Pascal衍生语言的成功的试验。其中有Euclid,Lis,Mesa,Modula,Sue和CS,等。在这些语言中的许多关键想法和语言格式已经吸收到绿色语言中。可以说,这些以前的研究应该认为是真正研究成果,绿色语言是语言设计工程总结出的方案,它体现了当前的工艺水平。其它一些语言,诸如ALGOL68,Simula以及新近研究的语音如Alphard和Clu也从不同方面影响到本语言,ˉ但它们比Pascal类的语言的影响少-·些。谨对本语言设计中提供帮助的我们的同事以及同事的同事表示谢意。为了防止差错,我们在这里不一一列出他们的工作,不指名的对他们表示深切的感谢。2.词法元素这一节定义语言的词法无素。2.1.字.符集所有的词法元茶可以由ASCII的64个字符的子集组成。这些字符如下所述:(a)字母S T U V W X Y Z(b)数字0123456789
返回顶部