微信服务号

微信订阅号

Home > Archive>Volume 7, Issue zk, 1996 >224-231
PDF HTML XML Export Cite reminder
THE SYNTAX，PRAGMATICS AND SEMANTICS OF LOGICAL FRAMEWoRKS——(I)THE SYNTAX AND PRAGMATICS OF A NEW LoGlCAL FRAMEWORKS
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
    • |
  • Figures
    • |
  • Metrics
    • |
  • Reference
    • |
  • Related
    • |
  • Cited by
    • |
  • Materials
    • |
  • Comments
    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．

    Reference
    Related
    Cited by
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:June 19,1995
  • Revised:
  • Adopted:
  • Online:
  • Published:
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063