Link to current text
CMP.12:3 - Forces
| Force | What must be reconciled |
|---|
| Meaning and obtaining | Knowing what answer an expression denotes leaves the effective evaluation work to be constructed. |
| Local syntax and surrounding bindings | The same expression can refer to different values in different environments. |
| Equal final values and observable behavior | Order, effects, failure and termination can matter even when a returned number agrees. |
| Repeated interpretation and prior translation | Translation can save later dispatch work while adding construction time and retained code. |
| Compositional reasoning and execution context | A correct component must retain its meaning when combined with neighboring components. |
| Abstract operations and finite resources | Arithmetic range, stack capacity and foreign operations can change the admitted execution. |