Semantics of Smalltalk-80

Authors:
Mario Wolczko
Affiliations:
-
Venue:
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Year:
1987

Citing 5
Cited 0

Smalltalk-80: the language and its implementation

Smalltalk-80: the language and its implementation
Systematic software development using VDM

Systematic software development using VDM
A formal description of object-oriented programming using VDM

VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
The Denotational Description of Programming Languages: An Introduction

The Denotational Description of Programming Languages: An Introduction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

A formal model of the Smalltalk-80 programming language is introduced. The semantics of much of the Smalltalk-80 language are described using the denotational style. A poorly-designed feature of Smalltalk is highlighted, and alternative semantics are presented for the language feature.