摘要
文章提出了一个简化的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.
出处
《计算机工程与应用》
CSCD
北大核心
2003年第28期113-117,共5页
Computer Engineering and Applications
关键词
指称语义
JAVA
面向对象
Denotational semantics,JAVA,Object oriented
