[comp.compilers] Formal models of equivalence of computations

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
-- 
Send compilers articles to compilers@iecc.cambridge.ma.us or
{ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.