论文部分内容阅读
本文介绍了用属性定义语言ALADIN写的FORTRAN语言的属性文法。该文法描述了FORTRAN语言的语法结构及其静态语义,包括作用域规则、说明的建立、表达式分析和出错处理等。
FORTRAN语言的一个属性文法
【摘 要】
：
本文介绍了用属性定义语言ALADIN写的FORTRAN语言的属性文法。该文法描述了FORTRAN语言的语法结构及其静态语义,包括作用域规则、说明的建立、表达式分析和出错处理等。
【机 构】
：
中国科学院软件研究所
【出 处】
：
计算机学报
【发表日期】
：
1990年12期
其他文献
吴文俊和刘彦佩教授在七十年代用代数拓扑的方法,给出了一个新的判别图的平面性的方法,即吴-刘定理。本文对给定Hamilton路的图进一步简化了吴-刘定理,据此可以给出一个判别
本文提出了一种新的适用于C.S.Raghavendra等人提出的最佳双环网的容错路由算法,并证明了该算法总能导致信包传递沿着一条最优的路径。
2008年年初，大豆价格在2007年大幅上涨的基础上不断刷新历史新高，而3月以来，大豆价格暴涨暴跌，形成上千点的宽幅振荡走势（图1），笔者认为大豆市场自2006年9月以来的长期单边上涨走势
2006年12月16—18日，“第三届中国饲料科技与经济高层论坛暨中国饲料经济专业委员会第三届学术交流大会”在北京会议中心隆重召开，国内外知名企业家和专家学者千余名代表欢聚一
河南省18个省辖市将在2008年10月底以前建立市级肉类储备制度。河南省商务厅有关负责人表示，此举意在平抑肉类价格．增强政府部门对肉类价格的掌控能力和市场平衡能力。
本文提出了一种能够描述计算机体系结构的描述语言S,该语言用于进程描述具有并行特性的系统,并用事件(event)进行同步与交互,它采用被描述的计算机的指令作为模型运行的负载,
<正> 1.图的最短路径 给定一赋权有向图G=(V,E),假设G中没有带负权圈的顶点,Floyd给出了一个计算G的所有顶点对v_i,v_j之间最短路径算法。在该算法中,用带权邻接矩阵cosT表示
3月19-20日．全国动物卫生监督执法暨动物疫病追溯体系建设工作会议在上海召开，农业部副部长尹成杰出席会议并讲话。尹成杰强调，各地要进一步提高对做好动物卫生监督执法工作重要
本文研究了用吸收关系与补关系构造求解DNF的永真性的近似快速算法问题。在第二节给出了偏序集〈S;≤〉的定义,研究了〈S;≤〉上的链与反链的性质。在第三节巧妙地借助补关系