论文部分内容阅读
程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风格和面向对象程序设计风格的合成语言，本文介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则，表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义。
合成语言FOPL基于方程逻辑的语义
【摘 要】
：
程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风格和面向对象程序设计风格的合成语言，本文介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则，表达式附类型规则及表达式等价判断规则
【机 构】
：
北京大学计算机科学七技术系,上海交通大学计算机科学与技术系
【出 处】
：
软件学报
【发表日期】
：
1995年7期
【基金项目】
：
国家自然科学基金，863高科技计划资助
其他文献
厕所的改造和粪便无害化处理,联系着千家万户的切身利益,是除害灭病的治本措施。对卫生保健事业的发展,人民健康水平的提高有着重大的意义,是卫生防疫工作的一个重点。我市是
本文针对复杂工程系统的我变量模糊优化问题进行了可视化方法研究，提出了模糊子域的绘制与运算算法，并在此基础上，对多变量模糊优化问题进行了数学分析，直观显示出了模糊可吴设计
本文介绍了一种以圆头全字形特征为基础，使用覆盖规则自动生成一种琥珀体曲线轮汉字字形的方法。
山东省高级技工学校是1990年在原山东技工学校的基础上筹建的。目前高级技工部在校生303人,90级、91级学生已经毕业。两届学生毕业前均实行“双证制”,经省工人技术考核委员
基于故事分析文法的故事理解法是本文作者在其博士论文中提出的一种面向故障深层含义的对语法、语义和语用综合进行理解的形式化方法，故事分析文法是一种高维的上下文有关文法
学生在学习过程中难免会犯错。面对学生的错误，教师的反应各不相同，有的害怕学生出错，在提出问题的同时就给出了标准答案；有的对学生出错原因不加分析，给出标准答案草草了事；有的厌
面向对象的开发方法是一种很有前途的软件开发方法，它通过对应用系统的问题空间对象直接建模，然后将它们同态映射到解空间，使应用易理解，易维护，然而，对于大而复杂的应用系统，这种方
摘 要：江苏省自1984年率先进行了“五年一贯制”高等职业教育试点工作，35年来已走出了一条具有江苏特色的五年制高职发展道路，为构建现代职业教育体系发展模式，培养应用型人才做出了积极贡献。本文主要研究“五年一贯制”培养模式下高职阶段思想政治课程教学。 关键词：“五年一贯制” 思想政治课程 高职阶段 课 题：本文系江苏省教育科学“十三五”规划2018年度立项课题“高职思政课差异化教学研究——以中
本文提出了一种有效的并行汉字／字符串相似检索技术，通过引入搜索状态向量及字符一模式匹配向量，该技术将字符串匹配比较转化为简单的整数字位运算，通过对字符串方向相反的搜索有