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

微信服务号

微信订阅号

首页 > 过刊浏览>1996年第7卷第zk期 >224-231

逻辑框架的语法、语用及语义——(I)新型逻辑框架的语法和语用*
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:本文研究得到国家863高科技项目的资助.

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

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

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

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．

参考文献

相似文献

引证文献

引用本文

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

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:1995-06-19
最后修改日期:
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码