A parametric definition for a family of inheritance reasoners Carl VogelFred Popowich Regular Papers Pages: 247 - 291
Proving termination of GHC programs M. R. K. Krishna RaoD. KapurR. K. Shyamasundar Regular Papers Pages: 293 - 338
Relational semantics for locally nondeterministic programs Liangwei XuMasato TakeichiHideya Iwasaki Regular Papers Pages: 339 - 361