1. Alias analysis of pointers in Pascal and Fortran 90: dependence analysis between pointer references

   • Aki Matsumoto
   • D. S. Han
   • Takao Tsuda

   OriginalPaper Pages: 99 - 130

2. Multi-granularity locking for nested transactions

   • John Lee
   • Alan Fekete

   OriginalPaper Pages: 131 - 152

3. Parallel composition of assumption-commitment specifications

   • A. Cau
   • P. Collette

   OriginalPaper Pages: 153 - 176

4. Simple extensions of 1-writer atomic variable constructions to multiwriter ones

   • S. Haldar
   • K. Vidyasankar

   OriginalPaper Pages: 177 - 202