期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
逻辑框架的语法,语用脑语义
在线阅读
下载PDF
职称材料
导出
摘要
逻辑模型架用以定义逻辑的类型系统,在爱丁保逻辑框架ELF(Edinburgh logical frame-work)和马丁诺夫逻辑框架的基础上,本文提出了一个集两者优点一身的新型逻辑框架,此逻辑框架特别适用于语义分析,文中还给出一结如何在此逻辑框架中表示目标语言的应用实例。
作者
傅育熙
宋哲炫
出处
《软件学报》
EI
CSCD
北大核心
1996年第A00期224-231,共8页
Journal of Software
关键词
逻辑框架
类型理论
泛类
类型
数理逻辑
分类号
O141 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
刘浩文,徐建国.
疲劳裂纹扩展的逻辑框架[J]
.力学进展,1993,23(2):269-286.
被引量:1
2
朱怡权.
基于FI-代数的一个逻辑系统[J]
.模糊系统与数学,2005,19(2):25-29.
被引量:7
3
李未,王飓安.
类型理论和程序设计[J]
.计算机科学,1992,19(1):11-17.
4
傅育熙.
类型理论原理[J]
.软件学报,1997,8(A00):457-465.
被引量:1
5
傅育熙.
逻辑框架的范畴语义[J]
.软件学报,1997,8(A00):473-478.
6
Xiaoming WANG.
Examples of Boundary Layers Associated with the Incompressible Navier-Stokes Equations[J]
.Chinese Annals of Mathematics,Series B,2010,31(5):781-792.
7
董瑞侠.
“师生悖论”精析[J]
.武汉科技学院学报,2007,20(9):98-103.
8
朱述知.
R语言在统计学教学中应用初探[J]
.湛江师范学院学报,2014,35(3):48-51.
被引量:3
9
张明义,张丹.
分情形推理的缺省逻辑框架[J]
.中国科学(E辑),1998,28(3):274-281.
被引量:1
10
沈继忠.
基于逻辑上的等价关系[J]
.江西师范大学学报(自然科学版),1997,21(4):297-305.
被引量:1
软件学报
1996年 第A00期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部