Eiffel语言的语义

来源 :中国计算机学会理论计算机科学91学术年会 | 被引量 : 0次 | 上传用户：shengchunquan

【作者】

：

阮文江李师贤

【机构】

：

中山大学

【出处】

：

中国计算机学会理论计算机科学91学术年会

【发表日期】

：

1991年期

【关键词】

：

语言

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

PROLOG在功能块级逻辑综合中的应用

该文简要论述了逻辑程序设计语言PROLOG在功能块级逻辑综合中的一些应用。通过一些例子说明了用PROLOG程序把任一逻辑功能基本函数映象成功能块实现的基本规则。同时阐明了用

会议

功能块逻辑综合逻辑程序设计语言规则和方法综合系统逻辑功能简便方法基本函数基本规则程序自动映象应用基础

ｍｉｃｒｏ——ＰＲＯＬＯＧ语言及其社会应用环境

会议

语言

用CdBASE-Ⅱ编程体会点滴

会议

普遍野生稻和亚洲栽培稻遗传多样性的研究

用４４个ＲＦＬＰ标记对来自中国、印度、泰国等亚洲１０个国家的普通野生稻（简称普野，下同）和来自多个国家的７５个栽培稻品种，从多态位点的比率、等位基因数、基因型数、平均杂合度及平均基因多

期刊

野生稻栽培稻遗传多样性等位基因数DNA实际杂合度基因型亚洲栽培稻等位基因杂合度

一种用Ｃ语言实现格式化操作数据文件的设计方法

会议

语言实现格式化操作数据文件

办公过程描述及PNBDL语言

会议

办公过程描述

踝关节外侧副韧带修补术对距腓前韧带与距腓后韧带夹角的影响

目的:既往研究证实在机械性踝关节不稳患者中,距腓前韧带(anterior talofibular ligament,ATFL)和距腓后韧带(posterior talofibular ligament,PTFL)之间的夹角会明显升高.本

期刊

踝慢性不稳修补距腓前韧带距腓后韧带夹角

RIGOROUS[*+*]一种较实用的形式化描述方法

会议

形式化

新一代计算机语言研究初探

会议

计算机

三维有限元分析在前交叉韧带重建中的应用研究进展

三维有限元分析是生物力学诸多研究方法中的一种,为膝关节生物力学研究提供了新思路,在膝关节相关研究中应用广泛.由于膝关节复杂的解剖结构及独特的运动性能,三维有限元分析

期刊

膝关节前交叉韧带重建生物力学三维有限元分析

Eiffel语言的语义

其他学术论文