Smalltalk-80的形式语义研究
On Formal Semantics of Smalltalk—80作者机构：国防科技大学电子计算机系
出 版 物：《国防科技大学学报》 (Journal of National University of Defense Technology)
年 卷 期：1993年第15卷第3期
页 面：80-89页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：面向对象 程序设计 Smalltalk-80
摘 要：Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。
维普期刊数据库
同方期刊数据库