Viewing profile — xentropy
xentropy
HN member- Joined
- Thu, Sep 03, 2020, 7:47 AM UTC
- HN karma
- 3
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About xentropy
No profile information was provided.
Recent public activity
-
comment
Comment #24377965
I don't know details. GNATprove generates verification conditions (conjectures) from SPARK code and assertations. Then it feeds these verification conditions to proof tool (Why3, A…
-
comment
Comment #24367677
Runtime checks are compiler implementation issue rather than language issue itself. With static analysis compiler could eliminate redundant runtime checks. For example, if SPARK (A…