Static safety guarantees for a low-level multithreaded language with regions.

Prodromos Gerakios Nikolaos Papaspyrou Konstantinos Sagonas

Published in: Sci. Comput. Program. (2014)

Keyphrases

low level
high level
higher level
figure ground
language processing
language learning
image regions
middle level
multi user
visual information
programming language
image features
natural language
input image
lower level
visual cues
multiscale
knowledge base
visual features
feature vectors
computer vision