There is a paper from Andew Appel: http://portal.acm.org/citation.cfm?id=278285 it explains the connection between SSA basic blocks and functions pretty well. This paper may also help: http://www.jantar.org/papers/ssa-lambda/ Cheers, Gabor