逻辑框架的语法、语用及语义——(I)新型逻辑框架的语法和语用<sup>*</sup>

傅育熙; 宋哲炫; 孙永强

引用本文:	傅育熙,宋哲炫,孙永强.逻辑框架的语法、语用及语义——(I)新型逻辑框架的语法和语用^*.软件学报,1996,7(zk):224-231

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 4430次下载 4996次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
逻辑框架的语法、语用及语义——(I)新型逻辑框架的语法和语用^*
傅育熙¹, 宋哲炫¹, 孙永强¹
上海交通大学计算机科学与工程系上海200030

摘要:

逻辑框架是用以定义逻辑的类型系统．在爱丁堡逻辑框架ELF(Edinburgh logical frame-work)和马丁诺夫逻辑框架的基础上，本文提出了一个集两者优点于一身的新型逻辑框架．此逻辑框架特别适用于语义分析．文中还给出一些如何在此逻辑框架中表示目标语言的应用实例．

关键词: 逻辑框架，类型理论，泛娄，类型．

DOI：

分类号:

基金项目:本文研究得到国家863高科技项目的资助.

THE SYNTAX，PRAGMATICS AND SEMANTICS OF LOGICAL FRAMEWoRKS——(I)THE SYNTAX AND PRAGMATICS OF A NEW LoGlCAL FRAMEWORKS

Fu Yuxi,Song Zhexuan,Sun Yongqiang

Abstract:

Based on the ELF(Edinburgh logical framework)and Martin—Lof logical framework，the authors propose a logical framework that unifies the two languages．Their logical framework is well suited for semantic analysis．Examples are given to show how to encode object languages in the calculus．

Key words: Logical framework,type theory,universe,type．

引用本文: