A complete semantics for SMALLTALK-80

Computer Languages Pub Date : 1995-07-01 DOI:10.1016/0096-0551(95)00002-L

Wolfgang Golubski, Wolfram-M. Lippe

引用次数: 4

Abstract

In this paper we introduce a formal model of the object-oriented programming language SMALLTALK-80. The model can be useful for different applications in the framework of language design and implementation like compiter or interpreter generation, correctness proofs of the implementations, and standardization of the language.

查看原文本刊更多论文

SMALLTALK-80的完整语义

本文介绍了面向对象程序设计语言SMALLTALK-80的形式化模型。该模型可用于语言设计和实现框架中的不同应用程序，如编译器或解释器生成、实现的正确性证明以及语言的标准化。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Computer Languages

自引率

0.00%

发文量