首页 > 《通化师范学院学报》 > 1998年6期 > 一个面向对象语言的形式语义模型

一个面向对象语言的形式语义模型

在线阅读下载PDF 导出详情

摘要本文选取典型的面向对象语言SmllTalk为模型语言,采用VDM元语言给出SmallTalk语言的形式语义,并在SmallTalk语言的形式语义模型中增加了出错处理,补救措施,以及上下文条件的详细描述。

DOI zdlo57x2dl/713040

作者潘洪军

机构地区不详

出处《通化师范学院学报》 1998年6期

关键词面向对象技术

分类 [文化科学][教育学]

出版日期 1998年06月16日（中国期刊网平台首次上网日期，不代表论文的发表时间）

相关文献

1潘红军;亓常松;王巧玲. 描述面向对象语言抽象语义的几个关键概念.教育学,1999-05.
2王玉新. 语言习惯:一个有待于深入研究的对象.教育学,1998-02.
3Omar AL Zabir. 为．NET应用程序实现一个类似Word的对象模型.计算机软件与理论,2005-05.
4武学东;周超;董玫. 面向对象的CAD系统模型.高等教育学,2002-02.
5吴锋刃. 一个推广形式的证明.教育学,2003-04.
6张亮. 真爱面向每一个学生.教育学,2020-09.
7杨莉. 山路定理的一个新形式.教育学,1999-05.
8admin. 一个基于语义分析的文本过滤方法.自动化与计算机技术,2019-02.
9卢兆宽. 一个有趣的语言现象.德语,1997-02.
10史浩春. 把一个非负数写成一个数的平方的形式.教育学,2004-06.

来源期刊

通化师范学院学报

通化师范学院学报

相关推荐

同分类资源更多

相关关键词

面向对象技术

返回顶部