The semantics of name resolution in grace.

Vlad A. Vergu Michiel Haisma Eelco Visser

Published in: DLS (2017)

Keyphrases

formal semantics
high resolution
low resolution
semantic information
graphical representation
logical language
database
image processing
website
high level
super resolution
semantic representation
specification language
image resolution
consequence finding