A Dummy’s Guide to Abstract Interpretation
(source ilachinski.com)
Ever sat in an airplane and felt a bit funny in your stomach? Especially when you know something about computers and programming you wondered .. what happens if the software has bugs .. what if a component crashes in-flight?!
While you can never guarantee that a plane doesn’t crash, you can actually prove the complete [...]


