Hillel Wayne personal blog
Why Specifications Don't Compose
Recently my friend Lars Hupel and I had a discussion on why formal methods don’t compose well. You can read the conversation here. We focused mostly on composing formally-verified code. I want to talk a little more about the difficulties in composing specifications. This is half because it’s difficult for interesting…
- Points
- 111
- HN comments
- 63
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringSystems & Performance2021
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 19, 2021 | Why Specifications Don't Compose by msiemens | 111 | 63 |
