一个简单面向对象语言的抽象机定义及其可视化实现

一个简单面向对象语言的抽象机定义及其可视化实现

金英¹, 刘磊¹, 郑小娟², 张长海¹

1. 吉林大学计算机科学与技术学院, 长春 130012; 2. 东北师范大学软件学院, 长春 130117

收稿日期:2006-06-10 修回日期:1900-01-01 出版日期:2006-08-26 发布日期:2006-08-26
通讯作者: 金英

An Abstract Machine for a Simple Object Oriented Language and Its Visual Implementation

JIN Ying¹, LIU Lei¹, ZHENG Xiao juan², ZHANG Chang hai¹

1. College of Computer Science and Technology, Jilin University, Changchun 130012, China; 2. School of Software, Northeast Normal University, Changchun 130117, China

Received:2006-06-10 Revised:1900-01-01 Online:2006-08-26 Published:2006-08-26
Contact: JIN Ying

摘要/Abstract

摘要： 定义一个简单面向对象语言SOOL的抽象机SAM, 并设计开发了SAM的可视化实现系统VisualOO. VisualOO系统可以把任意一个SOOL源程序转换成SAM内部表示, 并且动态演示该程序在SAM上的执行过程. 定义的抽象机及其可视化系统可以应用于程序设计语言形式语义学的教学中.

关键词: 面向对象语言, 抽象机, 可视化系统

Abstract: An abstract machine (SAM) for a simple object oriented language SOOL is formally defined, a visual system VisualOO is developed for the visual implementation of SAM. The system VisualOO can translate source programs of SOOL into formal internal representation of SAM, and dynamically display the execution of those SOOL programs. The abstract machine presented in this paper as well as the visual system VisualOO can be integrated into the course of formal semantics to help understand and grasp object oriented programming langu ages and their formal semantics better.

Key words: object oriented language, abstract machine, visual system

中图分类号:

TP311

金英, 刘磊, 郑小娟, 张长海. 一个简单面向对象语言的抽象机定义及其可视化实现[J]. J4, 2006, 44(06): 123-127.

JIN Ying, LIU Lei, ZHENG Xiao juan, ZHANG Chang hai. An Abstract Machine for a Simple Object Oriented Language and Its Visual Implementation[J]. J4, 2006, 44(06): 123-127.