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

Abstract

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

CLC Number:

TP311

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.

[1]	YANG Guang, JIA Yanxin, CHEN Xiang, XU Shuyuan. Stack Overflow Question Post Classification Method Based on Deep Learning [J]. Journal of Jilin University Science Edition, 2021, 59(4): 922-928.
[2]	LI Fang, QU Yubin, CHEN Xiang, LI Long, YANG Fan. A Sentiment Analysis Method Based on Class Imbalance Learning [J]. Journal of Jilin University Science Edition, 2021, 59(4): 929-935.
[3]	QU Yubin, CHEN Xiang, LI Long. Cross-Version Software Defect Prediction Method for Relieving Class Overlap Problem [J]. Journal of Jilin University Science Edition, 2021, 59(2): 372-378.
[4]	HE Kaiqi, MA Yuxiao, ZHANG Yan, LIU Huaxiao. A Data-Based Personalized Mixed Recommendation Method for GitHub Projects [J]. Journal of Jilin University Science Edition, 2020, 58(6): 1399-1406.
[5]	HU Huangshui, ZHAO Siyuan, LIU Qingxue, WANG Chuhang, WANG Tingting. BP Neural Network PID Parameter Tuning Algorithm Based on Momentum Factor Optimized Learning Rate [J]. Journal of Jilin University Science Edition, 2020, 58(6): 1415-1420.
[6]	MU Xiangyu, FAN Yu, LI Suji, ZHANG Peng, LIU Lei. Method of Generating Metamorphic Relationship Based on Gradient Descent Algorithm [J]. Journal of Jilin University Science Edition, 2020, 58(6): 1429-1435.
[7]	WANG Yiming, CHU Jianfeng, WANG Yongjun, CHEN Yandong. Efficient Blockchain Consensus Algorithm Based on Directed Acyclic Graph [J]. Journal of Jilin University Science Edition, 2020, 58(5): 1167-1172.
[8]	LUO Jiaohuang. Distributed Algorithm of Coarse Granularity DataBased on Convolutional Neural Network [J]. Journal of Jilin University Science Edition, 2020, 58(4): 906-912.
[9]	WU Chunqiong. Characteristic Trend Reasoning Algorithm for LargeScale Data [J]. Journal of Jilin University Science Edition, 2020, 58(2): 364-370.
[10]	CHU Xi, ZHOU Zhixiang, DENG Guojun, SHAO Shuai. Improved Algorithm for Intelligent Detection ofDiscontinuous Edges of Blurred Images#br# [J]. Journal of Jilin University Science Edition, 2019, 57(04): 875-881.
[11]	LIU Liangfeng, LIU Sanyang. ynamic Fuzzy Clustering AlgorithmBased on Weighted Difference Degree [J]. Journal of Jilin University Science Edition, 2019, 57(3): 574-582.
[12]	WEI Xiaohui, XU Guowei, WANG Xingwang, XU Haixiao. Link Prediction Based on Time Series Combined\=from Node Similarities and Link Number [J]. Journal of Jilin University Science Edition, 2019, 57(3): 583-590.
[13]	LIU Jiubiao. Reverse Nearest Neighbor Clustering Method of Spatial Database [J]. Journal of Jilin University Science Edition, 2019, 57(2): 387-392.
[14]	ZHANG Shizheng. Image Restoration Algorithm Based on Displacement Hermitian Splitting [J]. Journal of Jilin University Science Edition, 2019, 57(1): 97-104.
[15]	WANG Xiaotian, BIAN Siyu. PID Parameters Selftuning Based onGenetic Algorithm and Neural Network [J]. Journal of Jilin University Science Edition, 2018, 56(4): 953-958.

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

PDF (PC)

Like

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Metrics

Comments

Recommended 10