Towards a Theory of Control-Flow and Data-Flow Algorithms.

K. Culick

Browse the full ICPP paper archive.