Alias analysis of pointers in Pascal and Fortran 90: dependence analysis between pointer references Aki MatsumotoD. S. HanTakao Tsuda OriginalPaper Pages: 99 - 130
Parallel composition of assumption-commitment specifications A. CauP. Collette OriginalPaper Pages: 153 - 176
Simple extensions of 1-writer atomic variable constructions to multiwriter ones S. HaldarK. Vidyasankar OriginalPaper Pages: 177 - 202