Denotational data flow analysis for parallel implementation of imperative programs. - Shan-Jon Chao; Barrett R. Bryant (ACM Conference on Computer Science, 1988)

Denotational semantics for program analysis. - Shan-Jon Chao; Barrett R. Bryant (ACM SIGPLAN Notices, 1988)