Tag
behavioral-equivalence
- Aug 9, 2025 Extract Function and the Preconditions the Compiler Checks Extraction is presented as a mechanical edit, but it is only safe when the extracted body captures no free variables, no control flow, and no implicit receiver. software engineering
- Nov 8, 2023 The Equivalence Relation That Refactoring Depends On Refactoring is defined as behavior-preserving change, which first requires deciding what counts as behavior. That decision is the whole discipline. software engineering
- May 21, 2022 What Behavior-Preserving Change Cannot Preserve Cost, stack shape, interleaving, and resource lifetime fall outside the observation set by design. The cases where that exclusion stops being acceptable are the ones that matter. software engineering