62
Voted
TAPSOFT
1995
Springer
15 years 11 days ago
1995
Springer
We develop an imperative calculus of objects that is both tiny and expressive. Our calculus provides a minimal setting in which to study the operational semantics and the typing r...