A contextual interpretation of undefinedness for runtime assertion checking.

Yoonsik Cheon Gary T. Leavens

Published in: AADEBUG (2005)

Keyphrases

contextual information
image interpretation
context sensitive
data sets
search algorithm
digital libraries
data model
special case
semantic interpretation