New
Generation Computing
An International
Journal
Vol.
15 No. 3
| Editor-in-Chief: Associate Editor: |
H.
Tanaka K. Furukawa |
May 1997
|
New
Generation Computing
May 1997 |
|
| A Parametric Definition
for a Family of Inheritance Reasoners C. Vogel and F. Popowich Proving Termination of GHC Programs M. R. K. Krishna Rao, D. Kapur and R. K. Shyamasundar Relational Semantics for Locally Nondeterministic Programs L. Xu, M. Takeichi and H. Iwasaki Index |