Capsules and Types in Fresco: Program Verification in Smalltalk.

Published in: ECOOP (1991)

Keyphrases

programming language
image processing
cooperative
object oriented
social networks
real time
multimedia
three dimensional
database systems
multiscale
special case
probabilistic model