The Xen of Static Checking, Part 1: bug-free code without the effort
OK, maybe the title of this post is a slight exaggeration but it’s good to have goals for the future!
It’s a goal which many would argue will be unreachable without the genesis of Strong AI. It’s also a goal where we can achieve very useful results just by trying to get there. I’m […]
Filed under: Xen Development, Xen Static Checking by Mark Williamson
No Comments »