A Declarative Model of Smalltalk Programs

3/8/97


Click here to start


Table of Contents

A Declarative Model of Smalltalk Programs

Defining Smalltalk Programs

Defining Program Elements

Creating Program Elements

Traditional Smalltalk defines programs imperatively

An Imperative Specification of a Geometric Figure

Some Observations

Several issues arise from Smalltalk’s imperative model of program definition.

Issues: Software Engineering

Review: The Smalltalk Image

Review: The Smalltalk Image

Issues: Standardization

Declarative Definition

A Declarative Definition of the Geometric Figure

Some Observations

Declarative Specification of Programs?

Smalltalk Standardization

Making Smalltalk Declarative

Smalltalk Language Elements

Class Definition: Abstract Syntax

Class Definition: Semantics

Global and Pool Definitions

Smalltalk Programs

Program Interchange

Unnecessary Implementation Assumptions

Reflection versus the Declarative Model

Reflection: No change required

Reflection: Doing Better

An Abstract Object Model for Smalltalk Programs

Improving the Development Environment

Traditional Smalltalk Tools Manipulate the Runtime Model

Better Smalltalk Tools Manipulate an Abstract Model

Multiple Abstract Program Models

Making It Executable

A New Architecture for Smalltalk Development

New Architecture Characteristics

New Architecture Characteristics

New Architecture Characteristics

Is the Architecture Feasible?

Is the Architecture Feasible?

Is the Architecture Feasible?

“Firewall” Accomplishments

Conclusions

Email: Allen_Wirfs-Brock@smalltalksystems.com

Home Page: www.smalltalksystems.com