This is a MATLAB "publish" summary of a talk given to the EE seminar at Stanford March 2009. It is a part of FX entry 20149 which contains all the programs mentioned in the talk.
Self-description, execution, backtracking and invertibility are discussed.
small wording change
Fixed broken URL
Fixed typos reported by Alan Martin
Fixed bug in calculator (swapped X86 and A64 versions)
Fixed Broken Formulas.