Volume 15, Issue 3 | New Generation Computing

Search all New Generation Computing articles

Volume 15, Issue 3

September 1997

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

A parametric definition for a family of inheritance reasoners
Carl Vogel
Fred Popowich
Regular Papers Pages: 247 - 291
Proving termination of GHC programs
M. R. K. Krishna Rao
D. Kapur
R. K. Shyamasundar
Regular Papers Pages: 293 - 338
Relational semantics for locally nondeterministic programs
Liangwei Xu
Masato Takeichi
Hideya Iwasaki
Regular Papers Pages: 339 - 361