1. A parametric definition for a family of inheritance reasoners

   • Carl Vogel
   • Fred Popowich

   Regular Papers Pages: 247 - 291

2. Proving termination of GHC programs

   • M. R. K. Krishna Rao
   • D. Kapur
   • R. K. Shyamasundar

   Regular Papers Pages: 293 - 338

3. Relational semantics for locally nondeterministic programs

   • Liangwei Xu
   • Masato Takeichi
   • Hideya Iwasaki

   Regular Papers Pages: 339 - 361