Egor Pasko wrote:
On the 0x41C day of Apache Harmony Okonechnikov Konstantin wrote:
Continue working on removing SCE. Have some questions:
What are "tau operations"? What does "tau prefix" mean?
And what about those nasty
warnings (necessary simplification) in genTauCheckNull etc?
Oh, yeah, this is a big story :)) Everybody asks me about it, and I
often forget the tricky details, so, referring to some explanations
back in time sounds reasonable to me.
Tau operations sound similar to guarded operations:
http://www.research.ibm.com/jalapeno/publication.html#paste99
Regards,
Ian
--
http://www.cs.man.ac.uk/~irogers/