- Why Writing Correct Software Is Hard http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/ 30 comments coding
- Why Writing Correct Software Is Hard (and why math alone won't help us) http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/ 140 comments programming
- Why Writing Correct Software Is Hard (and why math alone won't help us) http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/ 13 comments compsci
Linking pages
- TLA+ in Practice and TheoryPart 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 44 comments
- TLA+ in Practice and Theory&ampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampLTbr/>Part 3: The (Temporal) Logic of Actions https://pron.github.io/posts/tlaplus_part3 8 comments
- The Trick For Writing Better Software Lies On The Technique | by Fagner Brack | Medium https://medium.com/@fagnerbrack/the-trick-to-write-better-software-lies-on-the-technique-944015f84ce4 6 comments
- What We Talk About When We Talk About Computation https://pron.github.io/posts/what-we-talk-about-when-we-talk-about-computation 1 comment
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:blog.paralleluniverse.co
Search title: Why Writing Correct Software Is Hard
See how to search.