摘要
本文选取典型的面向对象语言SmllTalk为模型语言,采用VDM元语言给出SmallTalk语言的形式语义,并在SmallTalk语言的形式语义模型中增加了出错处理,补救措施,以及上下文条件的详细描述。
This paper, taking typical facing object language - SmallTalk as modlelanguage, gives the formal semantic of SmallTalk language by using VDM languageand adds error, handling, remedial measure and detailed description with contextcondition to the formal semantic model of SmallTalk language.
出处
《通化师范学院学报》
1998年第6期41-52,共12页
Journal of Tonghua Normal University
关键词
面向对象技术
facing object technique
