Get the latest tech news
My practitioner view of program analysis
About ten years ago, I started thinking in earnest about how we could make it easier to write correct programs. Researching this question led me to topics like formal methods and type systems, techniques to help establish that a given program adheres to some rules.
None
Or read this on Hacker News