3 ms·

" 'One can follow a series of rewrite rules (just about blindly) to transform a program into another form with some desirable property. This was exactly what I

" 'One can follow a series of rewrite rules (just about blindly) to transform a program into another form with some desirable property. This was exactly what I needed.' Can anyone explain this with an example? I have been pondering what he meant with this for a long time. " see the cps-transform rewrite rules in "Essentials of Programming Languages". The first edition has the densest and most extensive explanation. The third edition has the clearest, but a relatively attenuated exposition.

morphir 16y ago
if this proves to be true, I'm most grateful for your tips. Maybe you could be even more specific providing a page number/chapter? http://books.google.com/books?id=GtPoyremy4EC&printsec=frontcover&dq=essentials+of+programming+languages&hl=en&src=bmrr&ei=a_ZgTcjFH8XxsgaD78y1CA&sa=X&oi=book_result&ct=result&resnum=1&ved=0CCwQ6AEwAA#v=onepage&q&f=false http://books.google.com/books?id=GtPoyremy4EC&printsec=f...