1988 | ||
---|---|---|
2 | EE | Shan-Jon Chao, Barrett R. Bryant: Denotational data flow analysis for parallel implementation of imperative programs. ACM Conference on Computer Science 1988: 17-26 |
1 | EE | Shan-Jon Chao, Barrett R. Bryant: Denotational semantics for program analysis. SIGPLAN Notices 23(1): 83-91 (1988) |
1 | Barrett R. Bryant | [1] [2] |