Smalltalk－80的指称语义研究

微信服务号

微信订阅号

首页 > 过刊浏览>1995年第6卷第7期 >385-390

Smalltalk－80的指称语义研究
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:本课题得到国家高技术计划和国防科技预研基金的资助.

ON DENOTATIONAL SEMANTICS OF SMALLTALK-80

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义．

Abstract:

Smalltalk-80 is the archetypal object-oriented programming language and environment. This paper briefly introduces a formal model of Smalltalk-80. The static and dynamic denotational semantics of Smalltalk-80 are described through the formal model.

参考文献

相似文献

引证文献

引用本文

李舟军,王兵山. Smalltalk－80的指称语义研究.软件学报,1995,6(7):385-390

复制

文章指标

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

历史

收稿日期:1993-05-26
最后修改日期:1994-01-03
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码