denotation analysis results and computation