Flexible Immutability with Frozen Objects.

K. Rustan M. Leino Peter Müller Angela Wallenburg

Published in: VSTTE (2008)

Keyphrases

multiple objects
digital libraries
lightweight
d objects
metadata
viewpoint
similar objects
learning algorithm
computer vision
information systems
image processing
high level
data structure
moving objects
object segmentation