论文部分内容阅读
Ｚ语言是牛津大学程序设计研究组设计的形式规格说明语言，作为Ｚ语言处理前端的Ｚ规格说明检查器用于Ｚ规格说明的语法检查和类型检查，它通过自顶向下和自底向上相结合的方法，实现了Ｚ语言的语法分析功能；此外，还还结合Ｚ语言的类型特征，实现了Ｚ语言的类型检查，介绍了Ｚ规格说明检查器的设计与实现。
语法制导的Z规格说明检查器
【摘 要】
：
Ｚ语言是牛津大学程序设计研究组设计的形式规格说明语言，作为Ｚ语言处理前端的Ｚ规格说明检查器用于Ｚ规格说明的语法检查和类型检查，它通过自顶向下和自底向上相结合的方法，实现了Ｚ语言
【机 构】
：
上海大学
【出 处】
：
应用科学学报
【发表日期】
：
1999年4期
【基金项目】
：
国家自然科学基金!(69773038),,上海市高校科技发展基金!(97A42)
其他文献
利用二进小波变换极大模图能将信号的奇异性和噪声分开的特点，在模拟核电磁脉冲中，对钢筋混凝土建筑物内部产生影响的实验中所测得的场强数据检测不连续点和进行了去除噪声的处
为对小马村矿一，煤层东区开采时通风设计以及瓦斯防治方案制定提供科学依据，通过对煤层瓦斯含量与埋深的回归分析，研究了煤层瓦斯含量分布规律．通过对预测方法特性和适用条件比较
作文教学是初中语文教学的重要组成部分，虽然教育的改革推动了初中作文教学的发展，但是在现阶段的作文教学中仍存在一些问题和困难。本文从分析初中语文作文教学困境的基础上出
该文采用边界层相似解对竖壁下降液膜发展段中的层流流动与换热特性进行了分析，获得了定壁温时速度边界层和温度边界层发展段长度及换热系数的计算表达式。
该校通过建立计算机开放实验室，不断加大投入、扩大开放规模、不断扩大学生的受益面。学生的计算机能力的水平迅速提高。
摘要：社区老年人滥用药的原因表现在自己诊断疾病，盲目迷信进口药与新药，服药依从性降低以及医生的不合理开药等方面。清楚病人病情，医生谨慎开药是避免和减少老年人滥用药有效措施。 关键词：社区；老年人；药物；滥用 随着社会的发展，医疗技术水平不断上升，人们的平均寿命也在增加，老年人的患病率也在提高，经常有同时得几种病的现象，用药品种增多，问题也就随之而来，社区老年人滥用药的现象越来越多，用药后的不良
一、何为写作教学写作教学，就是通过教师的引导，学生能够用语言、文字，准确地表达出部分事物的特征、事情的经过以及自己内心情感表达的一种形式。写作能力的提升有利于推动学生
采用热刺激电流的方法，以猪的肩胛骨为例，对生物体的驻极效应进行了研究，并由此对生物极体的极化驰豫特性作了分析，实验表明，复杂的有机生命体中存在着显著的电荷储存效应，产生这一
数学教育离不开数学信息审美教育,用信息审美的观点来研究数学,有利于激发学生对数学的爱好,有助于学生数学思想方法的形成,也有利于激发学生的创造力,锻炼学生逻辑思维能力