Now showing items 1-1 of 1
A General Work for the Flow Analysis of Concurrent Programs
(McGill University, 2000-08)
Standard techniques for analysing sequential programs are severely constrained when applied to a concurrent program because they cannot take full advantage of the concurrent structure of the program. In this work, we ...