Now showing items 1-1 of 1

    • A General Work for the Flow Analysis of Concurrent Programs 

      Lam, Patrick (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 ...