期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

函数式面向对象语言FOPL的指称语义 被引量：1

DENOTATIONAL SEMANTICS OF THE FUNCTIONAL OBJECT-ORIENTED LANGUAGE FOPL
下载PDF
导出
摘要 函数式面向对象程序设计语言ＦＯＰＬ是笔者设计并实现的一种合成语言．本文在一个全称的抽象域上描述了ＦＯＰＬ语言的指称语义． In this paper, the denotational semantics of the functional object-oriented programming language FOPL is described on a universal abstract space.
作者 梅宏 孙永强
机构地区 北京大学计算机科学与技术系
出处 《计算机学报》 EI CSCD 北大核心 1994年第7期513-520,共8页 Chinese Journal of Computers
基金 国家自然科学基金 国家863高技术计划基金
关键词 面向对象 程序语言 FOPL语言 Functional programming, object-oriented programming, programming language, denotational semantics.
分类号 TP312F0 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献2

  • 1梅宏，软件学报，1994年，3卷，7期
  • 2梅宏，博士学位论文，1992年

同被引文献50

  • 1徐殿祥,郑国梁.对象式逻辑程序设计语言LKO的说明性语义[J].计算机学报,1996,19(11):841-847. 被引量：2
  • 2HENNESSY M.The semantics of programming languages:an elementary introduction using structural operational semantics[M].New York:John Wiley & Sons,1990.
  • 3CRAZZOLARA F.Language,semantics and methods for security Protocols[D].Denmark:University of Aarhus,2003.
  • 4ADI K.Formal specification and analysis of security protocols[D].Canada:University of Laval,2002.
  • 5MOSSES P D.Action semantics[M].Cambridge:Cambridge University Press,1992.
  • 6NIELSON H R,NIELSON F.Semantics with applications:a formal introduction[M].Chichester:John Wiley & Sons,1992.
  • 7MOSSES P D.Semantics,modularity,and rewriting logic[C]//KIRCHNER C,KIRCHNER H.2nd International Workshop on Rewriting Logic and its Applications,ENTCS 15,Netherlands,Elesvier,1998.
  • 8MOSSES P D.The varieties of programming language semantics and their uses[J].LNCS,2001,2244:165-190.
  • 9TENNENT R D.The denotational semantics of programming languages[J].Communications of the ACM,1976,19 (8):437 -453
  • 10BJORNER D,JONES C B.The Vinenna Development Method:the meta-language[M].Berlin:Springer,1978.

引证文献1

二级引证文献4

计算机学报
1994年 第7期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部