Eiffel: The Language¶
Meyer, B. (1992). Eiffel: The Language. Prentice Hall.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Assumption
- In software, assumptions about input format, encoding, concurrency, and downstream stability are the substrate of defects, and contracts and types are technologies for making them explicit and checked.
This sourceIntroduces Design by Contract — preconditions, postconditions, and invariants as explicit, checked assumptions at software interfaces.
- In software, assumptions about input format, encoding, concurrency, and downstream stability are the substrate of defects, and contracts and types are technologies for making them explicit and checked.
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:a005a2000c5a · see in the full table