Holistic Specifications for Robust Programs
2020
Functional specifications describe what program components can do: the sufficient conditions to invoke components’ operations. They allow us to reason about the use of components in a closed world setting, where components interact with known client code, and where the client code must establish the appropriate pre-conditions before calling into a component.
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
50
References
4
Citations
NaN
KQI