Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!apple!usc!cs.utexas.edu!uunet!world!iecc!compilers-sender
From: cdash@mumm.colorado.edu (Charles Shub)
Newsgroups: comp.compilers
Subject: Formal models of equivalence of computations
Keywords: theory, optimize
Message-ID: <1991Feb1.205742.29620@csn.org>
Date: 1 Feb 91 20:57:42 GMT
Sender: compilers-sender@iecc.cambridge.ma.us
Reply-To: cdash@mumm.colorado.edu (Charles Shub)
Organization: University of Colorado at Colorado Springs
Lines: 15
Approved: compilers@iecc.cambridge.ma.us

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.