Tag
side-effects
- Oct 11, 2026 Referential Transparency and the Substitution Test What it means for an expression to be replaceable by the value it denotes, which features break that property, and what compilers and proofs gain when it holds. programming languages
- May 16, 2026 Evaluation Order, Sequencing Points, and Unspecified Behaviour Why C leaves the order of operand evaluation open, which operators impose sequencing, and how a language that fixes left-to-right evaluation pays for the guarantee. programming languages