Re: nuances of Copy Propagation? (& Lambda Calculus)

mark@omnifest.uwm.edu (Mark Hopkins) writes:
>The best way to answer questions involving this is to realise that
>transformation rules in imperative languages are really consequences of
>the one rule of the Lambda Calculus: beta reduction. For the following
>discussion, think of this sequence as being following by some context
>involving the variables, to be denoted as follows:


In my thesis, I showed how to do copy propagation *in*
(a version of) the lambda calculus. See:


ftp.ccs.neu.edu:/pub/people/steck/thesis.ps.Z


and the chapter called Ultra-beta.


-- Paul


  | Paul Steckler | World-Wide Web: |
  | steck@dcs.ed.ac.uk | URL = http://www.dcs.ed.ac.uk/home/steck |
--

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