一个类Java语言的指称语义

摘要：

文章提出了一个简化的Java语言SimpleJ并给出了此语言的指称语义.SimpleJ是一个简单的面向对象语言,具有Java语言的基本语义特点,该文通过对SimpleJ语言的语义域和语义方程的刻画和描述,讨论了以对象类型和异常语句为主的Java语言的语义特征.

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

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

在线出版日期：2004-02-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：113-117