Marianne Bellotti personal blog
Programming in Z3 by learning to think like a compiler
Programming in logic can help you produce better optimized, more secure, bug-free code … if only you knew how to do it.
- Points
- 179
- HN comments
- 18
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringMath & Algorithms2021
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| May 3, 2021 | Programming in Z3 by learning to think like a compiler by mbellotti | 179 | 18 |
