January 15, 2020
An Article That Made Me Think Very Deep Thoughts!
Nick Fitzgerald has written an article called Synthesizing Loop-Free Programs with Rust and Z3.
I described it as an article but really I think it is more like an ACADEMIC PAPER!
Give yourself LOTS of time to read this work because it is DEEP and THOUGHT PROVOKING!
I must study this knowledge some more, because it is VERY INTERESTING to me!