Types and Effects for Non-interfering Program Monitors.

Lujo Bauer Jarred Ligatti David Walker

Published in: ISSS (2002)

Keyphrases

real world
video sequences
computer programs
computer vision
wide range
object recognition
multiresolution
programming environment