Inproceedings,

Denotational data flow analysis for parallel implementation of imperative programs.

, and .
ACM Conference on Computer Science, page 17-26. ACM, (1988)

Meta data

Tags

Users

  • @dblp

Comments and Reviews