cdash@mumm.colorado.edu (Charles Shub) (02/02/91)
I'm looking for any pointers to formal models for equivalence of computations
on two different machines (or programs produced by two different compilers for
the same machine)
Any help would be appreciated. The context for this request is heterogeneous
migration.
Thanks...
charlie shub cdash@boulder.Colorado.EDU -or- ..!{ucar|nbires}!boulder!cdash
or even cdash@colospgs (BITNET) -or- (719) 593-3492