一个类Java语言的指称语义  

A Denotational Semantic of Analogy JAVA Language

作　　者：谭浩[1] 李旭晖[2] 何炎祥[2] 

机构地区：[1]中国科学技术大学研究生院,北京100039 [2]武汉大学计算机学院,武汉430072

出　　处：《计算机工程与应用》2003年第28期113-117,共5页Computer Engineering and Applications

摘　　要：文章提出了一个简化的Java语言SimpleJ并给出了此语言的指称语义。SimpleJ是一个简单的面向对象语言,具有Java语言的基本语义特点,该文通过对SimpleJ语言的语义域和语义方程的刻画和描述,讨论了以对象类型和异常语句为主的Java语言的语义特征。This paper provides a simplied JAVA language-simple J,and gives denotational semantics of this language.Simple J is a simple object oriented language,has the basic semantic of JAVA language.Through the description of se-mantic field and program,it discusses characteristics of JAVA language semantic primarily with object class and excep-tional statement.

关 键 词：指称语义 JAVA 面向对象 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]