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
|