论文部分内容阅读
在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性，混合语言系统将代数规约转换为合流的重写系统，将函数定义，计算约束和优化规则视重为规则，基于重写模型，以平行最外方法辅以必要归约进行计算。
函数—规约混合语言的设计与实现
【摘 要】
：
在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性，混合语言系统将代数规约转换
【机 构】
：
计算机科学与工程系
【出 处】
：
上海交通大学学报
【发表日期】
：
1996年6期
【基金项目】
：
国家“八六三”计划,国家八五计划资助
其他文献
【正】1临床资料1.1诊断标准:符合1995年全国第四届脑血管病学术会议制定的缺血性脑血管病诊断标准[1]和国家中医药管理局脑病急诊科协作组制定的《中风病诊断疗效评定标准》
选择六角形模型，用边界元法计算了不同纤维体积含量时，具有非理想界面纤维增强复合材料的向弹性模量Ｅ２，Ｅ３和泊松系数ｖ１２，ｖ３２和ｖ１３，ｖ２３。计算结果与实验测定值吻合。
【正】颈椎病又名颈椎间盘综合征,是因颈椎椎间盘退行性变,所致脊髓、神经、血管损害而表现的相应症状和体征。我科采用牵引配合电脑中频中药离子导入治疗颈椎病360例,疗效显
围绕一艘３０００ＴＥＵ巴拿马型集装箱船设计中提出的主尺度确定，船型和快速性，稳性和装载等若干问题进行了探讨，给出了可供参考的解决问题的途径。
采用综合污染指数法对金州湾近岸海域水质污染状况进行评价；采用秩相关系数法检验12a来的污染变化趋势，同时对其污染原因加以分析，并提出相应的防治对策和措施。
目的:观察中西医结合治疗糖尿病肾病的临床疗效。方法:将80例糖尿病肾病患者随机分为治疗组40例和对照组40例,两患者均给予相同的基础治疗、降糖、抗凝、ACEI应用,治疗组加用
为全面贯彻《学校卫生工作条例》，掌握女性教职工健康状况，以了解女性教职工的患病情况，并制订相应防治措施，我们于2006年10月对我校已婚女性教职工进行了妇科病的普查，现将检查结
由乙肝病毒（HBV）引起的乙肝，是病毒性肝炎中传染性强、传播途径多、危害较大的病毒性疾病，尤其是对青少年和医学生危害更大。为了解在校生对BBV的感染与免疫状况，并为预防乙肝提供
概念设计是设计过程中的重要组成部分，是技术设计及施工设计的基础，缩短概念设计的周期将对缩短整个设计周期产生很大的影响。本文以轴类零件为例，提出了一种在概念设计中ＣＡＤ系统的
目的分析两起学校乙型流感爆发疫情的基本情况，探讨疾病流行病学特征以及评价防治措施。方法对2006年2月20日～3月7日两所学校所有发病病人进行流行病学调查，描述和分析流行病学