Refinement Calculus¶
Back, R. -., & von Wright, J. (1998). Refinement Calculus: A Systematic Introduction. Springer.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Refinement
- Movement toward fitness through evidence and testing without necessarily targeting a single optimum, an insight Back and von Wright (1998) develop rigorously in the refinement calculus.
This sourceComprehensive formalization of refinement as a lattice-ordered relation between specifications and implementations; distinguishes refinement from arbitrary modification by a precise correctness-preserving order.
- Movement toward fitness through evidence and testing without necessarily targeting a single optimum, an insight Back and von Wright (1998) develop rigorously in the refinement calculus.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:b956498403d5 · see in the full table