[Prev][Next][Index][Thread]

No Subject





Hi :

I have been looking at applicative bisimulation recently. I was
wondering if anyone has used it for justifying program transformations
of interest to compiler writers. 

-Jawahar Chirimar
chirimar@saul.cis.upenn.edu