Monotonic Abstraction for Programs with Multiply-Linked Structures.

Parosh Aziz Abdulla Jonathan Cederberg Tomás Vojnar

Published in: RP (2011)

Keyphrases

hardware designs
computer vision
high level
image processing
image structure
tree structures