20 Mar
2006
20 Mar
'06
8:20 a.m.
Assumed != required. That side-effect-freeness is assumed only implies that any side-effects might be optimized away as they are assumed not to exist.