Relocations - I

Link-Time/Load-Time/Run-Time Relocations vs Software and Hardware Relocations vs Linkers and Loaders.

I am in a zombie state.

The case for Reduced Instruction Set Computer

This wonderful newsletter in SIGARCH(1980) by Patterson et.al explains the origins of RISC architectures in much simpler terms.



Particularly sections- 'irrational implementations' and 'Supporting HLLCS' accompanied by footnotes laid a strong case even though (I admit that) the argument against CISC seems a little incomplete without sound proof but then it is just a newsletter. Wish I read it 3 years ago :-(

Reference: http://portal.acm.org/citation.cfm?doid=641914.641917

Whole Program Analysis (WHOPR)

Google is after link time optimization - in big leaps.

Reference: http://gcc.gnu.org/projects/lto/whopr.pdf

Kleene-Rosser Paradox

I wish I can understand what exactly is paradoxical in this...

What if a function negates itself? However much I try I am simply unable to do away with my C-language perspective.

An alternate solution is to re-interpret lambda calculus not as a theory of logical assertions, but rather as a means of expressing computation. In this way, the paradox can be "solved" by reinterpreting it as a recursive statement, that is, the infinite recursion implying

Time to realize that functional languages very much exist.

Evolution of Compilers

Citation : Evolution of Compilers, Priti Shankar, Resonance, August 2007.