Formal models of equivalence of computations

cdash@mumm.colorado.edu (Charles Shub)
Fri, 1 Feb 1991 20:57:42 GMT

          From comp.compilers
Related articles
Formal models of equivalence of computations cdash@mumm.colorado.edu (1991-02-01)
| List of all articles for this month |
Newsgroups: comp.compilers
From: cdash@mumm.colorado.edu (Charles Shub)
Keywords: theory, optimize
Organization: University of Colorado at Colorado Springs
Date: Fri, 1 Feb 1991 20:57:42 GMT

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
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.